Category: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.