Category:SWI-Prolog
![Language](http://static.miraheze.org/rosettacodewiki/thumb/2/27/Rcode-button-language-crushed.png/64px-Rcode-button-language-crushed.png)
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.