TypedProlog
(language) A strongly typed logic programming language.
Last updated: 1995-03-25
Loading
Updated: Mon Jul 24 03:54:45 2017
24091 terms
No longer supported by Imperial College Department of Computing
(language) A strongly typed logic programming language.
Last updated: 1995-03-25
Updated: Mon Jul 24 03:54:45 2017
24091 terms
No longer supported by Imperial College Department of Computing
Tweet