تنزيل pyswip - تنزيل كود مصدر pyswip

pyswip

كود الذكاء الاصطناعي

v0.3.2

تنزيل

باي سويب

ما الجديد؟

راجع سجل التغيير.

ثَبَّتَ

إذا كان SWI-Prolog مثبتًا لديك، فهذا فقط:

 pip install -U pyswip

راجع البدء للحصول على تعليمات مفصلة.

مقدمة

PySwip هي واجهة Python-Prolog التي تتيح الاستعلام عن SWI-Prolog في برامج Python الخاصة بك. ويتميز بواجهة لغة أجنبية SWI-Prolog، وهي فئة أدوات مساعدة تجعل من السهل الاستعلام باستخدام Prolog وأيضًا واجهة Pythonic.

نظرًا لأن PySwip يستخدم SWI-Prolog كمكتبة مشتركة وأنواع ctypes للوصول إليها، فإنه لا يتطلب تثبيت التجميع.

تم تقديم 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

يمكن أيضًا استشارة قاعدة المعرفة الموجودة والمخزنة في ملف Prolog والاستعلام عنها. بافتراض أن اسم الملف "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)" )))

واجهة بايثونية (تجريبية)

 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