ISO Prolog

GPTKB entity

Statements (61)
Predicate Object
gptkbp:instance_of gptkb:language
gptkbp:based_on gptkb:Prolog
gptkbp:developed_by gptkb:organization
gptkbp:first_published gptkb:1995
gptkbp:has_feature gptkb:education
gptkb:software_framework
gptkb:robot
gptkb:document
gptkb:Research_Institute
tutorials
workshops
certification programs
community support
conferences
database connectivity
debugging tools
exception handling
garbage collection
knowledge representation
natural language processing
object-oriented programming
online resources
semantic web technologies
bioinformatics
data mining
type checking
backtracking
user groups
AI planning
development environments
theorem proving
commercial applications
recursion
constraint logic programming
network programming
input/output operations
modules
profiling tools
academic courses
multi-threading
open-source implementations
standard libraries
graphical user interface support
unification
interoperability with other languages
commercial implementations
meta-programming
list processing
dynamic predicates
foreign language interface
web programming support
constraint solving
assert and retract
distributed programming
predicate indicators
https://www.w3.org/2000/01/rdf-schema#label ISO Prolog
gptkbp:is_standardized_by ISO/ IEC 13211
gptkbp:supports logic programming
gptkbp:used_in gptkb:Artificial_Intelligence
gptkbp:bfsParent gptkb:SWI-Prolog
gptkbp:bfsLayer 5