http://www.ruleml.org/dtd/0.8/ruleml-datalog.dtd Website

" activate their content; -->" are thus no-ops -->_head _body" stands for "_head is implied by _body", i.e., "_head is true is implied by _body is true", or equivalently, -->_body _head" stands for "_

http://www.ruleml.org/dtd/0.8/ruleml-datalog.dtd  

Posted by keller91711 on 2007-11-27 18:56:55
Filed under DB | Comments (0)

Public Reviews and Comments



No reviews have been provided. You can be the first to provide one.





We encourage you to post your opinion.

Share your thoughts.

Your Name:
Your Location:
Article Rating:
Your Review:

Security check *

 



Bookmark Reviews Site Map Page : 3 13 23 33 43 53 63 73 83 93 103 113 123 133 143 153 163 173 183 193 203 213 223 233 243 253 263 273 283 293 303 313 323 333 343 353 363 373 383 393 403 413 423 433 443 453 463 473 483 493 503 513 523 533 543 553 563 573 583 593 603 613 623 633 643 653 663 673 683 693 703 713 723 733 743 753 763 773 783 793 803 813 823 833 843 853 863 873 883 893 903 913 923 933 943 953 963 973 983 993 1003 1013 1023 1033 1043 1053 1063 1073 1083 1093 1103 1113 1123 1133 1143 1153 1163 1173 1183 1193 1203 1213 1223 1233 1243 1253 1263 1273 1283 1293 1303 1313 1323 1333 1343 1353 1363 1373 1383 1393 1403 1413 1423 1433 1443 1453 1463 1473 1483 1493 1503 1513 1523 1533 1543 1553 1563 1573 1583 1593 1603 1613 1623 1633 1643 1653 1663 1673 1683 1693 1703 1713 1723 1733 1743 1753 1763 1773 1783 1793 1803 1813 1823 1833 1843 1853 1863 1873 1883 1893 1903 1913 1923 1933 1943 1953 1963 1973 1983 1993 2003 2013 2023 2033 2043 2053 2063 2073 2083 2093 2103 2113 2123 2133 2143 2153 2163 2173 2183 2193 2203 2213 2223 2233 2243 2253 2263 2273 2283 2293 2303 2313 2323 2333 2343 2353 2363 2373 2383 2393 2403 2413 2423 2433 2443 2453 2463 2473 2483 2493 2503 2513 2523 2533 2543 2553 2563 2573 2583 2593 2603 2613 2623 2633 2643 2653 2663 2673 2683 2693 2703 2713 2723 2733 2743 2753 2763 2773 2783 2793 2803 2813 2823 2833 2843 2853 2863 2873 2883 2893 2903 2913 2923 2933 2943 2953 2963 2973 2983 2993 3003 3013 3023 3033 3043 3053 3063 3073 3083 3093 3103 3113 3123 3133 3143 3153 3163 3173 3183 3193 3203 3213 3223 3233 3243 3253 3263 3273 3283 3293 3303 3313 3323 3333 3343 3353 3363 3373 3383 3393 3403 3413 3423 3433 3443 3453 3463 3473 3483 3493 3503 3513 3523 3533 3543 3553 3563 3573 3583 3593 3603 3613 3623 3633 3643 3653 3663 3673 3683 3693 3703 3713 3723 3733 3743 3753 3763 3773 3783 3793 3803 3813 3823