bn:03242477n
Noun Named Entity
JA
No term available
EN
λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming. Wikipedia
Relations
Sources