Difference between revisions of "Predicate logic"
From Testiwiki
(first draft with some links) |
(No difference)
|
Latest revision as of 23:24, 1 October 2012
This page is a method.
The page identifier is Op_en5820 |
---|
Moderator:Jouni (see all) |
This page is a stub. You may improve it into a full page, and then a rating bar will appear here. |
Upload data
|
Question
How to use predicate logic in Opasnet?
Answer
Rationale
- en:Predicate logic, fi:Predikaattilogiikka
- en:Prolog, fi:Prolog (a programming language for predicate logic)
- en:Comparison of Prolog implementations
- en:SWI-Prolog: a promising open-source Prolog software
- SWI-Prolog interface to R
See also
- en:Predicate logic, fi:Predikaattilogiikka
- en:Prolog, fi:Prolog (a programming language for predicate logic)
- en:Comparison of Prolog implementations
- en:SWI-Prolog: a promising open-source Prolog software
- SWI-Prolog interface to R
References
Related files
<mfanonymousfilelist></mfanonymousfilelist>