Statements (22)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:programming_language
|
gptkbp:alsoKnownAs |
gptkb:ISO/IEC_13211-1
|
gptkbp:appliesTo |
gptkb:Prolog
|
gptkbp:category |
gptkb:standard
logic programming |
gptkbp:defines |
standard libraries
built-in predicates semantics of Prolog syntax of Prolog |
gptkbp:focusesOn |
core Prolog language
|
gptkbp:hasPart |
gptkb:ISO/IEC_13211-1:1995
gptkb:ISO/IEC_13211-2:2000 |
https://www.w3.org/2000/01/rdf-schema#label |
ISO Prolog
|
gptkbp:language |
English
|
gptkbp:partOf |
gptkb:ISO/IEC_13211
|
gptkbp:publicationYear |
1995
|
gptkbp:publishedBy |
gptkb:International_Electrotechnical_Commission
gptkb:International_Organization_for_Standardization |
gptkbp:standardNumber |
gptkb:ISO/IEC_13211-1
|
gptkbp:website |
https://www.iso.org/standard/21413.html
|
gptkbp:bfsParent |
gptkb:YAP_Prolog
|
gptkbp:bfsLayer |
6
|