Similar to Guarded_Horn_Clauses
Guarded Horn Clauses
Prolog
Prolog
C Sharp
C Sharp (programming language)Chapel
Chapel (programming language)
Co-array Fortran
Coarray FortranConcurrent Prolog
Constraint Handling Rules
Constraint Handling Rules
Erlang
Erlang (programming language)Fortress
Fortress (programming language)
Go (プログラミング言語)
Go (programming language)High Performance Fortran
High Performance FortranKL1
KL1
Mesa
Mesa (programming language)
Occam
Occam (programming language)PARLOG
ParlogProgram Composition Notation
Program Composition Notation
Strand
Strand (programming language)Unified Parallel C
Unified Parallel CX10 (プログラミング言語)
X10 (programming language)XcalableMP
Ada
Ada (programming language)ALGOL
ALGOL
BASIC
BASIC
後者関数
Successor function
順序回路
Sequential logic
線形論理
Linear logic
直観主義型理論
Intuitionistic type theory
反ユニフィケーション
Anti-unification
