object
fcube
FCube: An Efficient Prover for Intuitionistic Propositional Logic.
Author: Mauro Ferrari, Camillo Fiorentini, Guido Fiorino; ported to Logtalk by Paulo Moura.
Version: 4:1:1
Date: 2022-09-07
Copyright: Copright 2012 Mauro Ferrari, Camillo Fiorentini, Guido Fiorino; Copyright 2022 Paulo Moura
License: GNU GPL 2.0 or later version
Compilation flags:
static, context_switching_callsRemarks:
(none)
Inherited public predicates:
(none)
Public predicates
fcube/0
Compilation flags:
staticdecide/1
Compilation flags:
staticdecide/2
Compilation flags:
staticProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
op(1200,xfy,<=>)
Scope:
publicop(1110,xfy,=>)
Scope:
publicop(1000,xfy,&)
Scope:
publicop(500,fy,~)
Scope:
public