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 |
| 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 |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
ISO Prolog
|