| N03-3006 | SWI-Prolog and Sicstus Prolog . For | SWI-Prolog | , a graphical interface has also |
| W13-4019 | the structure returned by the | SWI-Prolog | SGML parser and the JSON converter |
| P98-1089 | quantifier scoping is written for | SWI-Prolog | , and inherits much of its feature-based |
| N03-3006 | implemented in Prolog , it runs in | SWI-Prolog | and Sicstus Prolog . For SWI-Prolog |
| P10-4010 | of the taxonomy implemented in | SWI-Prolog | , whereas the Risk Mapper exists |
| W05-0109 | lecturers tried to ( freeware ) | SWI-Prolog | framework .2 bear in mind that |
