H ? « ‹ ← → › »

Language peer sets for CL:
↑
/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

CL(ID:5505/cl:003)

alternate simple view
Country:
Designed 1997

for Clausal Language

Programming language and proof system developed by Paul Voda and a colleague since 1997, written in Trilogy II.
Related languages
Trilogy II → CL   complete Written using
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder