| Server IP : 54.37.205.81 / Your IP : 216.73.216.76 Web Server : nginx/1.22.1 System : Linux vps-249481fa 6.1.0-50-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.176-1 (2026-07-02) x86_64 User : debian ( 1000) PHP Version : 8.2.32 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF Directory : /lib/python3/dist-packages/nltk/inference/__pycache__/ |
Upload File : |
�
T�cJ � �� � d Z ddlZddlZddlmZmZ G d� de�� � Z G d� de�� � Z G d � d
e�� � Z G d� de� � Z G d
� de� � Z
G d� de� � Z G d� dee � � Z G d� dee
� � Z
G d� de� � Z G d� dee � � Z G d� dee
� � Z G d� dee� � Z G d� dee
� � Z G d� d ej � � ZdS )!a
Interfaces and base classes for theorem provers and model builders.
``Prover`` is a standard interface for a theorem prover which tries to prove a goal from a
list of assumptions.
``ModelBuilder`` is a standard interface for a model builder. Given just a set of assumptions.
the model builder tries to build a model for the assumptions. Given a set of assumptions and a
goal *G*, the model builder tries to find a counter-model, in the sense of a model that will satisfy
the assumptions plus the negation of *G*.
� N)�ABCMeta�abstractmethodc �2 � e Zd ZdZdd�Zedd�� � ZdS )�Proverz�
Interface for trying to prove a goal from assumptions. Both the goal and
the assumptions are constrained to be formulas of ``logic.Expression``.
NFc �<