Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:basedOn |
gptkb:Prolog
|
| gptkbp:developedBy |
gptkb:Edinburgh_University
|
| gptkbp:firstReleased |
1977
|
| gptkbp:historicalSignificance |
first widely used Prolog implementation
|
| https://www.w3.org/2000/01/rdf-schema#label |
DEC-10 Prolog
|
| gptkbp:influenced |
gptkb:SICStus_Prolog
gptkb:SWI-Prolog gptkb:Quintus_Prolog gptkb:C-Prolog |
| gptkbp:influencedBy |
gptkb:Edinburgh_Prolog
|
| gptkbp:license |
public domain
|
| gptkbp:notableContributor |
gptkb:Luis_Pereira
gptkb:Fernando_Pereira gptkb:David_H._D._Warren gptkb:Lawrence_Byrd |
| gptkbp:paradigm |
logic programming
declarative programming |
| gptkbp:runsOn |
gptkb:PDP-10
gptkb:DEC-10_computer |
| gptkbp:writtenBy |
gptkb:assembly_language
|
| gptkbp:bfsParent |
gptkb:YAP_Prolog
|
| gptkbp:bfsLayer |
6
|