Predicate logic

This page is a knowledge crystal of subtype method. The page identifier is Op_en5820
Moderator:Jouni (see all)
This page is a stub. You may improve it into a full page.
Upload data {{#opasnet_base_link:Op_en5820}}

Question

How to use predicate logic in Opasnet?

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

Related files

<mfanonymousfilelist></mfanonymousfilelist>