GNU Prolog

GPTKB entity

Statements (55)
Predicate Object
gptkbp:instance_of gptkb:C_programming_language
gptkbp:developed_by gptkb:Daniel_Diaz
gptkbp:features constraint logic programming
native code compiler
ISO Prolog compliance
gptkbp:first_released gptkb:1999
gptkbp:has gptkb:translator
gptkb:developers
built-in predicates
prolog libraries
gptkbp:has_feature gptkb:Command_Line_Interface
gptkb:Exception
exception handling
garbage collection
backtracking
arithmetic operations
file handling
recursion
string manipulation
input/output operations
profiling tools
source-level debugging
unification
meta-programming
list processing
tail recursion optimization
cut operator
dynamic predicates
assert/retract predicates
built-in predicates for arithmetic
built-in predicates for control structures
built-in predicates for input/output
built-in predicates for lists
term expansion
term manipulation
https://www.w3.org/2000/01/rdf-schema#label GNU Prolog
gptkbp:is_compatible_with gptkb:ECLi_PSe
gptkb:SWI-Prolog
gptkbp:is_part_of gptkb:GNU_Project
gptkbp:is_used_in gptkb:Natural_Language_Processing
gptkb:Artificial_Intelligence
Knowledge Representation
Theorem Proving
gptkbp:license gptkb:GNU_General_Public_License
gptkbp:operating_system Cross-platform
gptkbp:programming_language gptkb:Prolog
gptkbp:supports modules
multi-threading
foreign language interfaces
gptkbp:uses gptkb:GNU_Compiler_Collection
gptkbp:website http://www.gprolog.org
gptkbp:written_in gptkb:C
gptkbp:bfsParent gptkb:Gnu_PG
gptkb:Prolog
gptkbp:bfsLayer 5