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_calls
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
fcube/0
Compilation flags:
static
decide/1
Compilation flags:
static
decide/2
Compilation flags:
static
Protected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
op(1200,xfy,<=>)
Scope:
public
op(1110,xfy,=>)
Scope:
public
op(1000,xfy,&)
Scope:
public
op(500,fy,~)
Scope:
public