Gentoo Project

Prolog

dev-lang

• dev-lang/cxprolog

  A WAM based Prolog system
• dev-lang/gnuprologjava

  GNU Prolog for Java is an implementation of ISO Prolog as a Java library
• dev-lang/gprolog

  A native Prolog compiler with constraint solving over finite domains (FD)
• dev-lang/interprolog

  InterProlog is a Java front-end and enhancement for Prolog
• dev-lang/logtalk

  Open source object-oriented logic programming language
• dev-lang/qu-prolog

  Extended Prolog supporting quantifiers, object-variables and substitutions
• dev-lang/swi-prolog

  Versatile implementation of the Prolog programming language
• dev-lang/tuprolog

  tuProlog is a light-weight Prolog for Internet applications and infrastructures
• dev-lang/xsb

  XSB is a logic programming and deductive database system
• dev-lang/yap

  YAP is a high-performance Prolog compiler