Category:SWI-Prolog
SWI-Prolog
This programming language may be used to instruct a computer to perform a task.
Listed below are all of the tasks on Rosetta Code which have been solved using SWI-Prolog.
This programming language may be used to instruct a computer to perform a task.
Execution method: | Interpreted or compiled |
---|---|
Garbage collected: | Yes |
Parameter passing methods: | By value |
Type strength: | Strong |
Type compatibility: | Structural |
Type checking: | Dynamic |
See Also: |
|
SWI-Prolog is a logic programming language.
It is programmed declaratively, using resolution and backtracking to confirm propositions based on declared facts and rules.
This category currently contains no pages or media.