Predicate logic
From Testiwiki
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>
