Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Prolog implementation
|
gptkbp:developer |
gptkb:University_of_Porto
|
gptkbp:feature |
high performance
constraint logic programming tabling support |
gptkbp:firstReleased |
1985
|
gptkbp:hasFeature |
gptkb:ISO_Prolog
|
https://www.w3.org/2000/01/rdf-schema#label |
YAP Prolog
|
gptkbp:influencedBy |
gptkb:DEC-10_Prolog
|
gptkbp:latestReleaseVersion |
2017
6.3.4 |
gptkbp:license |
gptkb:Artistic_License_2.0
|
gptkbp:operatingSystem |
Cross-platform
|
gptkbp:programmingLanguage |
gptkb:Prolog
|
gptkbp:website |
https://www.dcc.fc.up.pt/~vsc/Yap/
|
gptkbp:writtenBy |
C
|
gptkbp:bfsParent |
gptkb:Prolog
|
gptkbp:bfsLayer |
5
|