Publication:4013975
From MaRDI portal
zbMath0747.68074MaRDI QIDQ4013975
Publication date: 27 September 1992
logic programming language; PROTOS-L; order-sorted extensions of Prolog; polymorphic order-sorted unification algorithm
68N20: Theory of compilers and interpreters
68Q65: Abstract data types; algebraic specification
68T99: Artificial intelligence
68N17: Logic programming
Related Items