A logic program consists of facts (

A logic program consists of facts (as Rules (2) and (3)) and rules (as Rules (4) and (5)), each of which is terminated by a period ‘.’. The connectives ‘:-’ and ‘,’ can be read as if and and, respectively. Rule (4) defines ua(R, U)to represent that user(U) is assigned to role(R) while rule (5) defines n_ua(R, U) to represent that user(U) is not assigned to role(R). Rule (6) defines pa(R, P) to represent that per(P) is assigned to role(R) while rule (7) defines n_pa(R, P) to represent that per(P) is not assigned to role(R). Rules (8)–(10)

ผลลัพธ์ (ไทย) 1:

โปรแกรมตรรกะประกอบด้วยข้อเท็จจริง (ตามกฎ (2) และ (3)) และกฎ (เป็นกฎ (4) และ (5)), ซึ่งถูกยกเลิก โดยระยะเวลา ' .'. การ connectives ': -' และ สามารถอ่านได้ว่า และ และ ตามลำดับ กฎ (4) กำหนด ua (R, U) ให้เป็นตัวแทนที่กำหนดให้ user(U) เพื่อ role(R) ในขณะที่กฎ (5) กำหนด n_ua (R, U) เพื่อแทนที่ user(U) ไม่กำหนดให้กับ role(R) กฎ (6) กำหนดกำหนดให้ pa (R, P) เพื่อแทนที่ per(P) กับ role(R) ในขณะที่กฎ (7) กำหนด n_pa (R, P) เพื่อแทนที่ per(P) ไม่กำหนดไป role(R) กฎ (8)–(10)

ผลลัพธ์ (ไทย) 2:

โปรแกรมตรรกะป​​ระกอบด้วยข้อเท็จจริง (ตามกฎ (2) และ (3)) และกฎระเบียบ (ตามกฎ (4) และ (5)) ซึ่งแต่ละถูกยกเลิกโดยระยะเวลา '.' connectives '-' และ '' สามารถอ่านได้และถ้าและตามลำดับ กฎข้อ (4) กำหนด UA (r U) จะเป็นตัวแทนของผู้ใช้ (U) ได้รับมอบหมายให้บทบาท (R) ในขณะที่กฎ (5) กำหนด n_ua (r U) จะเป็นตัวแทนของผู้ใช้ (U) ไม่ได้มอบหมายให้บทบาท ( R) กฎข้อ (6) กำหนด PA (R, P) จะเป็นตัวแทนที่ต่อ (P) ได้รับมอบหมายให้บทบาท (R) ในขณะที่การปกครอง (7) กำหนด n_pa (r P) จะเป็นตัวแทนที่ต่อ (P) ยังไม่ได้กำหนดที่จะมีบทบาท ( R) กฎ (8) - (10)

ผลลัพธ์ (ไทย) 3:

โปรแกรมตรรกะประกอบด้วยข้อเท็จจริง ( ตามกฎ ( 2 ) และ ( 3 ) และกฎ ( กฎ ( 4 ) และ ( 5 ) ของแต่ละที่ถูกยกเลิกโดยระยะเวลา " " การ connectives " - " และ " " สามารถอ่านเป็นถ้าและและ ตามลำดับ ( 4 ) กำหนดกฎมาก ( r , u ) เป็นตัวแทนของผู้ใช้ ( U ) ได้รับมอบหมายบทบาท ( r ) และกฎ ( 5 ) กำหนด n_ua ( R , U ) เป็นตัวแทนของผู้ใช้ ( U ) ไม่ได้มอบหมายบทบาท ( r ) กฎ ( 6 ) กำหนด PA ( R , P ) เพื่อแสดงต่อ ( P ) ได้รับมอบหมายบทบาท ( r ) และกฎ ( 7 ) ได้กำหนด n_pa ( R , P ) เพื่อแสดงต่อ ( P ) คือไม่ได้กำหนดบทบาท ( r ) กฎ ( 8 ) และ ( 10 )