کسی میدونه چطوری می تونم پرولوگ رو پیاده سازی کنم؟

[vimax65]

این دوتا رو کسی میدونه چطوری می شه با پرلوگ ایجادشون کرد؟

1.طبق قانون آمریکا اگر یک آمریکایی به دولت متخاصم اسلحه بفروشد جرم است. کشور Nono دشمن آمریکا است
که مقداری موشک دارد که از شخصی به نام سرهنگ West خریده است که سرهنگ west آمریکایی است
ثابت کنید سرهنگ West مجرم است.
پایگاه دانش:

American(x)^Weapon(y)^Sells(x,y,z)^Hostile(z)èCri minal(x)

2.کسی که تمامی حیوانات را دوست دارد به وسیله کسی دوست داشته میشود.هر کس که حیوانی را بکشد هیچ کس او را دوست ندارد.جک تمام حیوانات را دوست دارد.گربه ای به نام Tuna را یا جک کشته است یا کنجکاوی. آیا کنجکاوی گربه را کشته است؟

پایگاه دانش:

Animal(y)èLoves(x,y)
Animal(y)^Kills(x.y)è ~Loves (z,x)
Animal(x)èLoves(Jack,x)
Kills(Jack,Tuna) v Kills(Curiosity,Tuna)
Cat(Tuna)
Cat(x)èAnimal(x)