pyswip

PySwip

Что нового?

См. журнал изменений.

Установить

Если у вас установлен SWI-Prolog, это просто:

 pip install -U pyswip

Подробные инструкции см. в разделе «Начало работы».

Введение

PySwip — это интерфейс Python-Prolog, который позволяет запрашивать SWI-Prolog в ваших программах Python. Он имеет интерфейс SWI-Prolog для иностранных языков, служебный класс, который упрощает выполнение запросов с помощью Prolog, а также интерфейс Pythonic.

Поскольку PySwip использует SWI-Prolog в качестве общей библиотеки и ctypes для доступа к ней, установка компиляции не требуется.

PySwip был предложен вам сообществом PySwip. Спасибо всем участникам.

Документация

• Главная страница PySwip
• Документация PySwip

Примеры

Использование Пролога

 from pyswip import Prolog
Prolog . assertz ( "father(michael,john)" )
Prolog . assertz ( "father(michael,gina)" )
list ( Prolog . query ( "father(michael,X)" )) == [{ 'X' : 'john' }, { 'X' : 'gina' }]
for soln in Prolog . query ( "father(X,Y)" ):
    print ( soln [ "X" ], "is the father of" , soln [ "Y" ])
# michael is the father of john
# michael is the father of gina

Также можно просмотреть и запросить существующую базу знаний, хранящуюся в файле Пролога. Предполагая, что имя файла «knowledge_base.pl» и Python запускаются в одном и том же рабочем каталоге, обращение к нему происходит следующим образом:

 from pyswip import Prolog
Prolog . consult ( "knowledge_base.pl" )

Иностранные функции

 from pyswip import Prolog , registerForeign

def hello ( t ):
    print ( "Hello," , t )
hello . arity = 1

registerForeign ( hello )

Prolog . assertz ( "father(michael,john)" )
Prolog . assertz ( "father(michael,gina)" )
print ( list ( Prolog . query ( "father(michael,X), hello(X)" )))

Pythonic интерфейс (экспериментальный)

 from pyswip import Functor , Variable , Query , call

assertz = Functor ( "assertz" , 1 )
father = Functor ( "father" , 2 )
call ( assertz ( father ( "michael" , "john" )))
call ( assertz ( father ( "michael" , "gina" )))
X = Variable ()

q = Query ( father ( "michael" , X ))
while q . nextSolution ():
    print ( "Hello," , X . value )
q . closeQuery ()

# Outputs:
#    Hello, john
#    Hello, gina

Основная функциональность Prolog.query основана на общедоступном файле prolog.py Натана Денни.

Помощь!

• Форум поддержки
• Переполнение стека

Главная страница сообщества PySwip

PySwip на протяжении многих лет использовался в научных статьях, диссертациях и студенческих проектах. Посетите сообщество PySwip, чтобы получить дополнительную информацию и ссылки на сообщество.

Есть ли у вас проект, видео или публикация, в которых используется или упоминается PySwip? сообщите о проблеме или отправьте запрос на включение.

Если вы хотите сослаться на PySwip в документе LaTeX, вы можете использовать предоставленный файл BibTeX. Вы также можете использовать следующую информацию для ссылки на PySwip:

• Автор: Юдже Текол и участники PySwip
• Название: PySwip ВЕРСИЯ
• URL: https://pyswip.org

Лицензия

PySwip лицензируется по лицензии MIT.