Similar to Guarded_Horn_Clauses
A+
A+ (programming language)A-0 System
A-0 System
ABAP
ABAP
ABC (プログラミング言語)
ABC (programming language)
Agda
Agda (programming language)
Alloy (仕様記述言語)
Altair BASIC
Altair BASIC
APL
APL (programming language)APT (プログラミング言語)
APT (programming language)
ArrowFuck
Asymptote
Asymptote (vector graphics language)Autocode
Autocode
AWK
AWKBallerina
Ballerina (programming language)
BCPL
BCPLBLISS
BLISSBoo (プログラミング言語)
Boo (programming language)
B言語
B (programming language)
C++ Builder
C++Builder
C++/CLI
C++/CLIC--
C--
CAP-X
Carbon (プログラミング言語)
Carbon (programming language)Casio Basic
Casio BASIC
CASL
Cg (プログラミング言語)
Cg (programming language)
CHILL
CHILLClean
Clean (programming language)