1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956

EYE release
[v20.1027.2307] removing pl and using n3 instead
[v20.1023.2102] testing and working fine with SWIProlog version 8.3.10
[v20.1020.2137] reverting to the original flow patterns for math:sum, math:product, math:difference and math:quotient
[v20.1001.1755] removing pl query
[v20.0922.2212] further improving flow control for math: builtins
[v20.0922.0806] fixing issue with math:sum flow patterns (obs from PierreAntoine Champin)
[v20.0919.1930] supporting all kinds of flow patterns for math:sum, math:product, math:difference and math:quotient (obs from Greg Kellogg)
[v20.0918.2306] checking minimal swipl version (obs from PierreAntoine Champin)
[v20.0910.0008] resolving https://github.com/josd/eye/issues/4
[v20.0825.2124] no WS in IRIref as per resolution of https://github.com/w3c/N3/issues/41
[v20.0822.1924] removing all the deprecated code and moving n3p to debugn3p
[v20.0822.1221] using Definite Clause Grammar (DCG) for N3 parser
[v20.0820.2237] removing carl and targeting Graph Literals to Augment Simple Statements
[v20.0816.2139] this version should have a complete graph literal unifier
[v20.0812.1747] correcting graph literal unifier for log:equalTo
[v20.0811.2338] further improving graph literal unification
[v20.0810.1331] reimplementing graph literal unification and adding example test case https://github.com/josd/eye/tree/master/reasoning/n3gl
[v20.0805.2233] dropping whitespace in uris
[v20.0803.2102] adding pl switch to support Prolog facts, rules and queries
[v20.0802.2241] fixing errors for https://github.com/w3c/N3/blob/master/tests/N3Tests/new_syntax/inverted_properties.n3
[v20.0721.1253] supporting ':s < :p :o' which is the same as ':s @is :p @of :o' and fixing IRIREF to exclude whitespace (obs from Greg Kellogg)
[v20.0716.2304] fixing LANGTAG confused with @is and @has (obs from Gregg Kellogg)
[v20.0703.0848] testing and running with SWIProlog version 8.3.3
[v20.0606.1810] making sure that n3* triples can benefit from deep indexing
[v20.0603.2122] initial support for N3* thanks to w3c/N3 community group
[v20.0528.1036] running with SWIProlog version 8.3.0
[v20.0525.2056] fixing log:equalTo builtin to unify rdf lists
[v20.0524.2220] using e:derive builtin instead of prolog and prolog: builtins
[v20.0515.2122] using prolog again
[v20.0510.2019] deprecating carl and n3p and using original N3 parser instead
[v20.0509.2205] deprecating prolog and using N3 backward rules instead
[v20.0508.2157] running with SWIProlog version 8.1.31
[v20.0508.2128] dropping strict option
[v20.0507.1852] moving back to previous implementation of e:becomes (obs from Doerthe Arndt)
[v20.0501.2209] running with SWIProlog version 8.1.30
[v20.0423.1748] fixing e:stringSplit (obs from Hans Cools) and fixing reasoning about <= rules (obs from Doerthe Arndt)
[v20.0411.2226] switching to prolog instead of plugin
[v20.0403.2208] adding complex number exponentiation
[v20.0323.1552] running with SWIProlog version 8.1.25
[v20.0320.2222] fixing e:graphIntersection for empty intersection
[v20.0313.1435] fixing e:graphIntersection for partially instantiated graphs (obs from Doerthe Arndt)
[v20.0310.2137] making e:graphIntersection non deteterministic (obs from Doerthe Arndt)
[v20.0227.1323] correcting prolog:day_of_the_week builtin (obs from Pieter Heyvaert)
[v20.0225.2300] moving back to previous implementation of e:becomes (obs from Doerthe Arndt)
[v20.0223.1436] adding back eye/reasoning
[v20.0218.2044] switching back to the original proof to reason with N3 proof lemmas
[v20.0214.1629] adding prolog:use_module builtin and adding plugin to the help message
[v20.0211.2332] undeprecating prolog: builtins
[v20.0209.2139] fixing exception in temporal builtins (obs from Hans Cools)
[v20.0204.1058] using the version_git and version_data flags to show the SWIProlog version
[v20.0203.2202] only ? can be used to prefix variables (N3 Community Group consensus)
[v20.0129.2333] updating documentation of e:propertyChainExtension (obs from Hans Cools)
[v20.0129.2247] extending log:dtlit to support datatypes that are rdfs:subClassOf xsd:integer (obs from Hans Cools)
[v20.0127.2317] both ? and $ can now be used to prefix variables
[v20.0122.2153] dropping @keywords
[v20.0122.2039] allow space char 0x20 in iriref
[v20.0122.1952] adding invalid_boolean_literal exception/2 and correcting non_iri_char/1
[v20.0121.2250] dropping parseonly, reintroducing n3 and supporting ^pred
[v20.0105.1336] running with SWIProlog 8.1.20
[v20.0104.0037] dropping ignoreimmediategoal command line switch and using parseonly instead
[v19.1228.1018] FIXED: process_create/3: stderr was sent to stdout. Fixed by Jan Wielemaker
[v19.1226.1140] running with SWIProlog 8.1.19
[v19.1223.0106] adding ignoreimmediategoal switch to not run a rule of the form true <= goal
[v19.1214.1458] deprecating plugin and using N3 instead
[v19.1211.1447] using quantify <prefix> to quantify uris with <prefix> in the output and deprecate noskolem
[v19.1206.2337] going back to dedicated var: namespace
[v19.1129.2354] finetuning twinkle <uri> as Thinking with lemmas from N3 proof
[v19.1129.2208] moving back from n3 <uri> to <uri> command line argument
[v19.1126.2203] replacing the experimental proof command line switch the new twinkle command line switch
[v19.1126.1434] complete reimplementation of string:scrape and string:search and fixing e:stringSplit (obs from Hans Cools)
[v19.1120.2300] standardizing apart @forAll and @forSome variable names using wellknown genid URIs
[v19.1104.2254] moving back to traditional N3
[v19.1020.2224] fixing profile
[v19.1020.1832] using plugin with any Prolog code
[v19.0928.2249] reverting to plain N3
[v19.0904.2157] the EYE source code is renamed to eye.pl and plugin files have .pl extension
[v19.0827.0916] fixing issue with scope of existentials (obs from DÃ¶rthe Arndt)
[v19.0723.1200] using ?SCOPE e:fail {formula} instead of false <= {formula} to have scoped negationasfailure
[v19.0714.1509] default CSV separator is , and can be overruled with csvseparator
[v19.0711.0927] using .wellknown/genidn3 IRIs for the names of variables
[v19.0705.1450] fixing log:semantics causing unwanted pass output (obs from DÃ¶rthe Arndt)
[v19.0702.2313] fixing issue with e:becomes (obs from DÃ¶rthe Arndt)
[v19.0604.1527] testing and working with SWIProlog 8.1.7
[v19.0521.1527] fixing plugin for N3P code without scount/1
[v19.0509.1258] using latest stable SWIProlog 8.0.2
[v19.0221.2026] fixing exception with proof
[v19.0202.2255] adding csvseparator command line option to use CSV separator such as , or ;
[v19.0116.1239] changing cturtle error message (obs from Hans Cools)
[v18.1230.1307] implementing ccd:transformer in ./reasoning/ccd/ccd_rules.n3
[v18.1214.1911] reintroducing carl switch and original N3 parser
[v18.1130.1238] updating reasoning to always use PREFIX instead of @prefix
[v18.1123.1028] removing libgmp dependency
[v18.0515.2100] making it run with SWIProlog 7.7.14
[v18.0417.2132] supporting abbreviated URIs when the namespace prefix ends with '/' (obs from Sander Vanden Hautte)
[v18.0409.2008] fixing log:includes and log:notIncludes (obs from DÃ¶rthe Arndt)
[v18.0312.0936] implementing abduction as successive assertion of hypotheses
[v18.0214.2047] fixing deprecated prolog:cut in conjunction with Carl (obs from Hong Sun)
[v18.0131.1741] making Carl mandatory
[v18.0131.1211] removing deprecated command line options
[v18.0117.1550] adding a few comments concerning attributed variables from the coroutining
[v18.0117.1050] replacing call_residue_vars with simple call and reverting brake mechanism
[v18.0116.1628] improving the safety of the brake mechanism
[v18.0110.1636] fixing e:becomes and e:call builtins
[v18.0110.1518] fixing unification of exopredicates
[v18.0103.0943] testing deep indexing with swipl version 7.7.7
[v17.1228.2216] correcting conjify/2 and atomify/2 for <= rules and e:derive builtin
[v17.1204.1538] finetuning deep JustInTime Indexing of prfstep/7
[v17.1201.1242] improving deep indexing with swipl version 7.7.4
[v17.1117.1002] improving deep indexing for atomic terms
[v17.1116.2259] using deep indexing in proof steps to make proof chaining scalable
[v17.1111.2305] improving the implementation of profile to just cover reasoning
[v17.1108.2040] improving the implementation of debugdjiti
[v17.1106.2229] removing the unneeded garbage_collect_atoms in carl/2
[v17.1030.2055] fixing e:becomes with universals in the object (obs from Hong Sun)
[v17.1027.1407] fixing proof output for nested universal backward rule conclusion
[v17.1025.2201] removing all directives from N3P
[v17.1024.1424] fixing proofchain issue with proof in conjunction with <= rules
[v17.1023.2239] fixing proofchain issue with proof in conjunction with e:finalize
[v17.1018.0849] using n3 <uri> instead of the <uri>
[v17.1017.0822] fixing atomify/2 for the purpose of e:derive builtin
[v17.1016.2201] adding e:compoundTerm builtin to create a compound term
[v17.1013.2031] fixing proof output for non text blobs
[v17.0928.2136] improving the performance of log:semantics when using carl
[v17.0928.1521] introducing carl to use http://github.com/melgi/carl thanks to Giovanni Mels
[v17.0927.2204] fixing exception in e:becomes builtin
[v17.0927.1020] fixing passall for rules with univar as conclusion
[v17.0927.1001] fixing the n3p representation of rdf:nil (obs from Giovanni Mels)
[v17.0926.1547] fixing e:becomes builtin to do proper unification (obs from Hong Sun)
[v17.0926.1400] adding source command line option to read command line arguments from file (obs from Jos De Baerdemaeker)
[v17.0926.1036] adding DJITI (Deep Just In Time Indexing) support for e:becomes builtin
[v17.0926.0932] fixing eye builtins for false graph literals
[v17.0925.1941] adding e:becomes builtin to perform RDF linear implication i.e. retracting the subject graph and asserting the object graph
[v17.0915.1303] fixing input statement counter for cn3
[v17.0915.0910] keeping track of namespace prefixes coming from cn3
[v17.0914.1555] fixing csv output in conjunction with cn3
[v17.0914.1240] fixing backward_rule_may_not_contain_existential_in_conclusion exception (obs from Hong Sun)
[v17.0913.1953] fixing universal variable names in proof output
[v17.0912.1602] preparing replacement of N3 parser
[v17.0910.1930] fixing deep justintime indexing issue for proof steps
[v17.0908.2321] fixing undefined procedure errors in EAM (Euler Abstract Machine)
[v17.0908.1137] fixing e:distinct for lists containing universals (obs from Hong Sun)
[v17.0907.1215] implementing e:graphMember builtin to get the triples from the subject graph
[v17.0905.1354] fixing critical bug in e:derive
[v17.0904.2007] fixing proofs with e:calculate and e:derive
[v17.0901.1423] fixing streaming reasoning
[v17.0830.2107] simplifying n3p by dropping pred/1
[v17.0829.1320] fixing issue with exopred/3 (obs from DÃ¶rthe Arndt)
[v17.0829.0835] reverting e:roots builtin to solve polynomial equations of degree 4
[v17.0811.0745] deprecating prolog: builtins and using e:calculate and e:derive instead
[v17.0810.2104] fixing issue with linear logic implementation
[v17.0807.1020] adding e:firstRest builtin to convert a list into its first rest tuple
[v17.0806.0020] adding prolog <uri> and testing with http://josd.github.io/marble/marble.prolog
[v17.0725.2216] adding e:graphPair builtin used for graph/pair transformation e.g. {:a :b :c. :d :e :f. :g :h :i} e:graphPair ({:a :b :c} {:d :e :f. :g :h :i})
[v17.0724.1558] removing whitespace at end of line
[v17.0718.2310] adding e:avg, e:cov and e:std builtins to calculate the average, the sample covariance and the sample standard deviation
[v17.0718.1402] adding e:pcc and e:rms builtins to calculate the Pearson correlation coefficient and the root mean square
[v17.0713.1519] using http://josd.github.io/eye/.wellknown/genid/# Skolem IRIs
[v17.0710.0913] fixing e:transpose
[v17.0705.2041] adding prolog:random_float builtin to generate a random float r for which 0.0 < r < 1.0
[v17.0703.0814] adding e:roots builtin to solve polynomial equations of degree 4
[v17.0613.1259] adding prolog:consult and prolog:shell builtins
[v17.0610.2146] using JIT indexes over multiple arguments
[v17.0530.1245] improving the style of generated code
[v17.0525.2026] improving plugin option to deal with prolog code
[v17.0524.2340] using generic prolog:call instead of specific builtins
[v17.0511.0837] fixing roundtripping of prolog:conjunction triples
[v17.0510.0856] adding e:transpose builtin
[v17.0504.2009] fixing the use of garbage_collect_atoms for streaming reasoning
[v17.0504.1355] making the performance of e:labelvars linear (obs from Hong Sun)
[v17.0502.1032] adjusting the calling of garbage_collect_atoms
[v17.0424.2043] fixing critical linear logic bug (obs from Hong Sun)
[v17.0421.2304] fixing e:trace so that it doesn't affect bindings
[v17.0407.1501] fixing critical resource leak in streaming reasoning
[v17.0406.2040] removing duplicate triples in e:graphDifference and e:graphIntersection (obs from DÃ¶rthe Arndt)
[v17.0406.1259] fixing issue with empty graphs in log:conjunction (obs from DÃ¶rthe Arndt)
[v17.0405.2137] fixing issue with universals in log:conjunction and e:graphList (obs from DÃ¶rthe Arndt)
[v17.0403.1934] improving the translation of N3 formulae to avoid running out of C stack
[v17.0403.0806] refactoring N3 formulae from cn/1 to ,/2
[v17.0330.2029] fixing wrong comments in the output of n3p
[v17.0327.1209] adding streaming reasoning header and footer comments
[v17.0327.0947] improving memory footprint for streaming reasoning
[v17.0323.1113] adding e:stringReverse builtin (obs from Kristof Depraetere)
[v17.0323.0016] output of streamingreasoning is now N3
[v17.0315.0907] adding randomseed command line option to create random seed (obs from Hong Sun)
[v17.0310.2303] fixing the cache lookup of e:labelvars (obs from DÃ¶rthe Arndt)
[v17.0310.1131] the scope of implicit existentials is the direct formula in which they occur
[v17.0307.1654] throwing an exception when the gmp library is not installed (obs from Carsten Klee)
[v17.0303.1424] adding e:multisetEqualTo and e:multisetNotEqualTo builtins (obs from Hong Sun)
[v17.0222.1246] fixing the unification in log:equalTo (obs from DÃ¶rthe Arndt)
[v17.0218.2321] fixing log:includes and log:notIncludes for empty graphs
[v17.0217.1259] fixing e:calculate to fail when there is an exception (obs from Herman Muys)
[v17.0217.1257] fixing the use of universals in log:conjunction
[v17.0216.2023] fixing the use of universals in e:graphDifference
[v17.0215.2319] fixing the use of universals in e:graphIntersection (obs from DÃ¶rthe Arndt)
[v17.0214.2123] adding e:ignore builtin to call the object formula within the subject scope and to succeed anyway but only once
[v17.0208.1332] using e:subsequence instead of e:sublist (obs from Giovanni Mels)
[v17.0208.1103] improving e:sublist so that (1 2 3 4 5) e:sublist (1 2 4) is the case (obs from Hong Sun)
[v17.0207.1536] fixing string: comparison builtins to deal with uris (obs from Hong Sun)
[v17.0207.1438] correcting <= builtin so that it finds all answers (obs from Hong Sun)
[v17.0203.1445] implementing tactic limitedanswer <recordcount> for CSV output (obs from Jos De Baerdemaeker)
[v17.0201.1921] preparing for n3 input generated by cn3
[v17.0201.0840] fixing startup when using SWIProlog 6.6.4 (obs from Sohyun)
[v17.0131.1541] improving e:calculate to accept numeric datatype literals
[v17.0131.1345] reimplementing e:sublist which was broken (obs from Hong Sun)
[v17.0127.1613] reverting the interpretation of P => P
[v17.0127.0006] refactoring N3 formulae
[v17.0126.1508] fixing <= builtin so that graph builtins work correctly (obs from DÃ¶rthe Arndt)
[v17.0125.2247] modifying the implementation of log:includes
[v17.0125.1018] removing e:disjunction and simplifying N3 parsing
[v17.0124.1445] standardizing apart implicit existentials and throwing premise_rule_may_not_contain_existential_in_premise exception
[v17.0117.2134] throwing derived_rule_may_not_contain_existential_in_premise exception
[v17.0117.1638] adding experimental e:calculate builtin http://eulersharp.sourceforge.net/2003/03swap/logrules.html#calculate
[v17.0116.1719] correcting the output of lists in NTriples files (obs from Ruben Verborgh)
[v17.0113.1339] fixing invalid_prolog_builtin exception (obs from Elric Verbruggen)
[v17.0112.2155] adding prolog:copy_term_nat to copy a term for which attributes are not copied
[v17.0110.1302] working with SWIProlog 7.3.35
[v17.0106.2058] fixing @forAll and @forSome (obs from DÃ¶rthe Arndt)
[v17.0103.1920] updating license
[v16.1221.2306] 2 part source code: GRE (Generic Reasoning Engine) supporting Explainable Reasoning and EAM (Euler Abstract Machine) supporting Unifying Logic
[v16.1220.2028] fixing bug with log:implies builtin (obs from DÃ¶rthe Arndt)
[v16.1220.1724] correcting the output of existentials in derived rules (obs from DÃ¶rthe Arndt)
[v16.1219.2244] dropping beta status
[v16.1215.2050] the scope of implicit universals in C0 is C0
[v16.1209.1430] deprecating brake and step options and using tactics instead
[v16.1209.1357] adding tactic limitedbrake <count> to take only a limited number of brakes
[v16.1209.1002] using tactic limitedanswer 1 instead of tactic singleanswer
[v16.1208.2221] adding tactic limitedstep <count> to take only a limited number of steps
[v16.1207.1437] fixing passall to adjust the scope of implicit universals (obs from DÃ¶rthe Arndt)
[v16.1207.1057] fixing pass to support partial conclusions
[v16.1202.1501] fixing issue with proof output for backward rules
[v16.1202.1010] fixing e:call to deal with variable formulae
[v16.1130.1446] giving output information about networking as early as possible
[v16.1130.1407] fixing poor indexing issue in proof generation
[v16.1129.2350] fixing issue with proof output containing empty graphs
[v16.1129.1224] implementing proof explanation for e:call
[v16.1128.2230] completing proof output for e:finalize
[v16.1125.1306] fixing issue with universals in pvm image
[v16.1123.1645] improving the message at the end of a reasoning run
[v16.1121.1307] dropping pvm and pluginpvm options
[v16.1115.1242] improving DJITI (Deep Just In Time Indexing) for rdf:type predicate
[v16.1115.0003] improving e:call to deal with universals in C0
[v16.1114.1604] dropping e:assert e:retract and e:makevars
[v16.1027.1037] replacing the broken e:entails and e:notEntails with e:call and e:fail
[v16.1027.0849] simplifying e:makevars builtin
[v16.1024.2207] correcting e:makevars builtin to make an ungrounded copy of the subject
[v16.1019.2046] fixing e:retract so that it binds the variables (obs from Hong Sun)
[v16.1019.1357] fixing output for {} predicates (obs from DÃ¶rthe Arndt)
[v16.1018.2004] deprecating e:true builtin
[v16.1018.1814] changing e:entails and e:notEntails to have a scope subject (obs from DÃ¶rthe Arndt)
[v16.1018.1140] adding e:makevars builtin to make a noskolem copy of the subject
[v16.1014.1907] simplifying proof lemma handling
[v16.1014.0938] fixing integrity issue with e:retract
[v16.1012.0824] adding e:finalize builtin to call object formula exactly once after subject formula is finished
[v16.1010.2024] adding e:assert and e:retract builtins
[v16.1006.1145] fixing issue with coroutining
[v16.1005.1425] adding e:notEntails builtin
[v16.1004.1019] fixing missing quotes for options curlhttpheader and debug
[v16.1003.2049] improving e:entails so that it is scoped
[v16.1002.2113] adding e:entails builtin
[EYESummer16]
 improving log:semantics error messages (obs from Elric Verbruggen)
 correcting passallground for blank nodes in conclusions (obs from Hong Sun)
 deprecating think because it is incomplete
 fixing issue with blank node conclusions (obs from DÃ¶rthe Arndt)
 fixing issue with blank nodes occurring in derived log:implies triples (obs from DÃ¶rthe Arndt)
 refactoring EAM (Euler Abstract Machine)
 removing base_may_not_contain_hash exception (obs from Ruben Verborgh)
 correcting HTTP Accept: header when calling curl (obs from Boris De Vloed)
 adding curlhttpheader command line option to pass HTTP headers to curl (obs from Jos De Baerdemaeker)
 adding HTTP Accept: header when calling curl (obs from Kristof Depraetere)
 adding e:stringSplit builtin to split a string into a list of strings (obs from Hong Sun)
 fixing passall and passallground to eliminate duplicate results (obs from Hong Sun)
 supporting wcache with prefix of uri and prefix of file
 improving performance of deep taxonomy case http://github.com/josd/eye/tree/master/reasoning/dt with proof output
 improving performance of multiquery with proof output
 fixing issue with e:csvTuple proof output
 fixing indentation in proof output
 making the connection between blank nodes in the proof output (obs from DÃ¶rthe Arndt)
 fixing scoping issue with existential rules (obs from DÃ¶rthe Arndt)
 standardizing variables apart in proof output
 improving command line option handling
 improving DJITI (Deep Just In Time Indexing) for primary arguments of compound terms
 fixing proof output for empty r:gives (obs from Hong Sun)
 improving networking info on stderr
 fixing log:rawType for blank nodes (obs from Hong Sun)
 fixing proof output for SWIPL 6 kernel
 the EYE source code euler.yap is now renamed to eye.prolog
 improving the parsing speed by optimizing escape_squote/2
 giving a warning when curl and cturtle are not installed
 correcting output_statements counter for think (obs from Hong Sun)
 fixing strings without nope (obs from Hong Sun)
 fixing issue with duplicate triples in the answers coming from queries together with pass (obs from Hong Sun)
 fixing image to store the EYE options (obs from Hong Sun)
 refactoring the handling of EYE options
 supporting DJITI which is standing for 'Deep Just In Time Indexing'
 ETC http://github.com/josd/etc is used to verify EYE releases
 fixing scoping issue with the deprecated @forSome (obs from DÃ¶rthe Arndt)
 fixing plugin for ground backward rules (obs from DÃ¶rthe Arndt)
 adding e:skolem builtin to generate a Skolem IRI object which is a function of the arguments in the subject list
 improving proofs for think
[EYESpring16]
 fixing circular proofs that were wrongly using r:Fact evidence (obs from Hong Sun)
 removing orphan lemmas in proof output (obs from Hong Sun)
 updating EYE_INSTALL to put swipl, curl and cturtle in the path environment variable (obs from Kristof Depraetere)
 fixing think performance degradation for backward rules (rules using <= in N3)
 fixing circular proof when using think option (obs from Giovanni Mels)
 fixing think performance degradation for http://github.com/josd/eye/tree/master/reasoning/djiti
 fixing jiti (just in time indexing) issue for the proof generation (obs from Hong Sun)
 avoiding redundant lemmas in r:evidence when using think option
 fixing infinite loop when using think option in conjuction with e:optional
 fixing infinite loop in RESTdesc preproof when using think option (obs from Giovanni Mels)
 reintroduce think option to find all possible proofs (obs from Hong Sun)
 adding jiti (just in time indexing) support for exopredicates such as (:i60 :i53 :i27) (:p 10) :o.
 changing the proof to give the full conclusion of an inference (obs from DÃ¶rthe Arndt)
 fixing bug in passallground in conjunction with P => P (obs from Marc Twagirumukiza)
 fixing issue with single quote in URIs (obs from JeanMarc Vanel)
 fixing the handling of Unicode surrogate pairs (obs from Kristof Depraetere)
 adding tactic limitedanswer <count> to give only a limited numer of answers (obs from Giovanni Mels)
 improving the output of lists, sets and graphs in e:csvTuple (obs from Hong Sun)
 removing last CRLF in CSV output (obs from Samir Boudoudah)
 adding e:hmacsha builtin together with hmackey=key command line option (obs from Kristof Depraetere)
 changing the proof to start with a [] (obs from DÃ¶rthe Arndt)
 e:sha, e:csvTuple and the generated id for Skolem IRIs are now using modified base64 for XML identifiers (obs from Hong Sun)
 giving an ERROR when swipl package clib is not installed
 using P => P instead of false <= P to express a query
 improving the performance of distinct_hash/2 when using SWIPL 7.3
 running Turtle_tests and passed_298_out_of_298_tests
 adjusting e:csvTuple output for uris (obs from Kristof Depraetere)
 fixing n3p in conjunction with turtle
 adjusting the generated id for Skolem IRIs
 adding e:sha builtin
 adding crypto:sha builtin
 fixing debugjiti for predicates with compound subjects or objects
 fixing critical jiti (just in time indexing) bug for multiquery
 more detailed proof output for e:optional builtin (obs from Hong Sun)
 adding MMLN (Monadic Markov Logic Network) EYE component
 fixing critical jiti (just in time indexing) bug for pvm
 improving just in time indexing for predicates with compound subjects or objects
 fixing log:implies builtin for the scope of implicit quantified variables (obs from DÃ¶rthe Arndt)
 minor cleanup of EYE dataprocessor and backward rules
[EYEWinter16]
 strela becomes jiti and is now indexing any compound subject or object
 fixing issue with exopred where the predicate is a graph literal
 improving performance and memory impact of proof generation
 tweaking partconc/3 to work with SWIPL 6.6.6 (obs by Boris De Vloed)
 correcting TC counter for conjunctive conclusions and adding it as etc=count logging info
 fixing empty proof for e:csvTuple queries
 fixing variable object for e:csvTuple to to select all variables (obs from Hong Sun)
 fixing e:whenGround so that when the subject is RDF ground the object is called
 fixing all builtins which are making use of coroutining
 fixing passallground for rules with exitentials in the premis (obs from Hong Sun)
 fixing passall to include backward rules (obs from Hong Sun)
 making list:in and list:member dynamic predicates
 doing flush_output/0 right before halt/1
 setting utf8 encoding for turtle (obs from Hong Sun)
 adding nogenid option to not generate an id in Skolem IRIs (obs from Hong Sun)
 fixing log:includes and log:notIncludes builtins in conjunction with log:semantics
 supporting variable object for e:csvTuple to to select all variables (obs from Hong Sun)
 fixing Skolem IRI fragments for passallground
 fixing n3p conversion for universals in proof output
 adding e:match builtin to succeed when the object formula succeeds and to forget the bindings (thanks to DÃ¶rthe Arndt)
 supporting queryfile,outputfile in both the multiqueries list file and multiquery prompt (thanks to Bruno Dias)
 fixing line break issue in CSV output (obs from Ajaykumar Vasireddy)
 adding inf/sec logging for multiquery
 fixing issue with exopred where the predicate is a literal (obs from Joachim Van Herwegen)
 fixing csv output when using e:relabel (obs from Hong Sun)
 supporting csv output for multiquery
 throwing exception for unknown command line options
 changing out=count for csv output to the number of cells
 fixing performance issue with passall
 adding logging info for multiquery
 fixing image for blank nodes
 improving prfstef/8 and lemma/6 indexing to get linear proof output speed (obs from Hong Sun)
 changing turtle to use http://github.com/melgi/cturtle thanks to Giovanni Mels
 fixing csv output for turtle input data
 introducing strict command line switch to represent xsd decimals as rationals
 fixing nodistinctinput option in conjunction with pass query
 adding EYE_component_may_not_contain_existential_in_conclusion exception
 adding nodistinctinput command line switch to have no distinct triples in the input (obs from Hong Sun)
 deprecating nodistinct and use nodistinctoutput instead
 adding passturtle switch and passed_291_out_of_291_tests
 adding extra logging info inf/in=inferences_per_input_statement
 adding streamingreasoning query mode to do streaming reasoning on turtle data
 changing turtle to use http://github.com/melgi/turtle thanks to Giovanni Mels
 fixing log:includes builtin for subject graphs with universals (obs from DÃ¶rthe Arndt)
 fixing log:implies builtin for queries (obs from DÃ¶rthe Arndt)
 fixing critical bug in e:graphCopy to avoid blank node clashes (obs from Hong Sun)
 fixing issue with @forSome in rule generation (obs from Hong Sun)
 fixing critical bug in rule generation so that a Skolem IRI is used instead of a universal
 fixing log:dtlit for prolog:atom datatypes (obs from JeanMarc Vanel)
 tested and working with stable SWIPL 7.2.3 kernel plus clib package
[EYEAutumn15]
 using N3 for components and rules in the output rulehistogram
 component false <= P can be used to express query P => P
 dropping prolog:C and prolog:phrase builtins
 expanding DCG productions into backward rules
 correcting output_statements counter for conjunctive conclusions (obs from Hong Sun)
 adding indexing to e:random (obs from Hong Sun)
 going back to original exopred/3 to regain performance
 improving e:random such that it is reproducible in function of the subject list (obs from Hong Sun)
 making string:contains and string:containsIgnoringCase more strict for datatype and language tag
 fixing e:tuple for Skolem IRIs (obs from Hong Sun)
 improving proof output for rules with empty premise (obs from Giovanni Mels)
 introducing e:weight to express the weight in MLN (Markov Logic Network) inspired descriptions
 fixing exception in string:concatenation (obs from JeanMarc Vanel)
 extending log:dtlit to find a possible datatype for the lexical value (obs from JeanMarc Vanel)
 introducing suboption passallground
 fixing e:findall and e:optional for variable clauses (obs from JeanMarc Vanel)
 fixing log:uri for literal subject (obs from JeanMarc Vanel)
 fixing ProofEngine.java and Euler.jar (obs from JeanMarc Vanel)
 introducing e:unique builtin to succeed when the subject object pair is unique (obs from Hong Sun)
 directing output of e:trace to stderr and fixing its output of universals
 fixing log:concjunction for universals in the subject graphs (obs from Hong Sun)
 fixing log:semantics for blank node subjects (obs from Giovanni Mels)
 dropping eam/3 and using a single EAM (Euler Abstract Machine)
 introducing e:prefix builtin to produce an object literal containing all prefixes (obs from Hong Sun)
 fixing string:concatenation and e:wwwFormEncode builtins (obs from Hong Sun)
 tuning GRE (Generic Reasoning Engine) to improve the performance of queries
 tuning strela (stretch relax) to improve the performance of queries
 fixing prolog:getcwd builtin
 fixing issue with exopred in log:conjunction (obs from Hong Sun)
 fixing exception in pvm code generation without nope
 using N3 in the explanation of inference_fuse (obs from Kristof Depraetere)
 a triple like ?S :p :o. is now seen as a backward rule {?S :p :o} <= true. (obs from Hong Sun)
 fixing term_expansion for pluginpvm
 fixing exception in image creation without nope (obs from Kristof Depraetere)
 fixing input statement counter for images
 fixing tokenizer for tokens starting with @ and also treating ^^ as a token
 fixing relative uri when reading from stdin
 adding debugjiti command line switch to output debug info about JITI on stderr
 adding flag noskolem to n3p
 fixing issue with e:relabel while using plugin together with pass (obs from Hong Sun)
 improving relative IRI resolution and Turtle_IRI_resolution_compliance_test gives 306 tests, 306 passed, 0 failed, 0 errored
 adding end_of_file/0 to n3p
 fixing statement counter for plugin <n3p_resource>
 fixing proof output for images
 fixing statement counter for pluginpvm (obs from Kristof Depraetere)
 command line arguments via 'eye ' are now closed with newline (obs from Kristof Depraetere)
 fixing backward queries for multiquery
 fixing resource leak in multiquery
 improving multiquery to run a query answer loop
 tested and working with stable SWIPL 7.2.2 kernel plus clib package
[EYESummer15]
 introducing multiquery to run a query answer loop (obs from Kristof Depraetere)
 changing from walltime to cputime to calculate inf/sec
 fixing compilation of prolog builtins for the generation of extenders
 fixing univar issue for the generation of extenders
 fixing log:dtlit for blank node lexical value in subject (obs from Giovanni Mels)
 fixing log:uri for blank node subject (obs from Giovanni Mels)
 improving relative IRI resolution thanks to SWIPL library(uri)
 introducing extenders i.e. rules using <= in N3 (obs from Dirk Colaert)
 adding tactic=existingpath to have Euler path using homomorphism
 making implicit quantification according to http://eulersharp.sourceforge.net/2006/02swap/eyenote
 correcting bug in graph literal unifier (obs from Hong Sun)
 correcting reasoning time measurement for csv output (obs from Hong Sun)
 showing the number of csv output records (obs from Hong Sun)
 making sure that proof does not use facts from builtins as well as inferences from backward rules
 using less double quotes in csv output and simplifying language tags
 using curl L to follow redirects
 adding brake <count> command line switch to set maximimum brake count
 supporting inference fuses in queries (obs from Hong Sun)
 updating the output of probe
 making noskolem dominant over noqvars
 changing from noskolem to noskolem <prefix> to have no uris with <prefix> in the output (obs from DÃ¶rthe Arndt)
 fixing bug in strings command line switch (obs from Marc Twagirumukiza)
 improving proof <uri> to use more lemmas
 adding ignoreinferencefuse command line switch (obs from Marc Twagirumukiza)
 fixing error when using owl:sameAs rules (obs from DÃ¶rthe Arndt)
 adding noskolem command line switch to have no Skolem IRIs in the output (obs from DÃ¶rthe Arndt)
 fixing graph literal unification (obs from DÃ¶rthe Arndt)
 adding proof <uri> command line switch to reuse lemmas out_there
 fixing log:conjunction for unknown graphs in the subject (obs from DÃ¶rthe Arndt)
 fixing n3p header with additional multifile/1 declarations
 extending exopred to quantify over builtin predicates (obs from Kristof Depraetere)
 fixing e:whenGround for universals in the subject
 fixing the flowpattern of e:graphList (obs from DÃ¶rthe Arndt)
 adding e:random builtin
 have to use prolog:set_random/1 instead of prolog:setrand/1 (obs from Kim CaoVan)
 fixing make_eye_zip to have a relative path name for the files in the zipfile
 improving e:whenGround for all kinds of subjects (obs from DÃ¶rthe Arndt)
 fixing redundant output with passall
 tested and working with stable SWIPL 7.2.1 kernel
[EYESpring15]
 fixing rdf:first and rdf:rest builtins (obs from Ruben Verborgh)
 fixing proof output for noqvars (obs from Giovanni Mels)
 fixing issue with passall proof
 adding e:whenGround builtin to succeed when a ground subject is equal to the object; it also succeeds when the subject is not ground
 fixing issue with implicit universals at the top level
 deprecating e:distinct and e:reverse
 deprecating @ keywords
 supporting rules with log:implies in the premis
 fixing log:dtlit for integer xsd:dateTime (obs from Marc Twagirumukiza)
 fixing proof of rule derivation as r:Fact because log:implies is a builtin
 supporting rules with log:implies in the conclusion
 extending e:label to support Skolem IRIs (obs from Giovanni Mels)
 fixing issue with Skolem IRIs used in generated rules (obs from DÃ¶rthe Arndt)
 deprecate passonlynew because it is not provable
 adding IO=input_triples/output_triples to #ENDS comment
 fixing issue with the combination of tactic=linearselect and pass
 fixing monotonicity issue in e:labelvars
 fixing bug in e:labelvars when the subject is a a single variable (obs from DÃ¶rthe Arndt)
 eye probe is now using cputime for probing memory
 correctly show the number of output triples on stderr for passonlynew
 adjust profile to show all predicates
 adjust timestamp length on stderr output
 fixing implicit quantification bug in nested rules (obs from DÃ¶rthe Arndt)
 supporting Skolem IRIs like http://eulersharp.sourceforge.net/.wellknown/genid/165710554195678051784816931502136832#sk2 via noqvars option
 fixing pvm and nope for proof output
 correcting [ a r:Fact; r:gives {true}] to [ a r:Fact; r:gives true] in proof output
 fixing proof output for queries with true as premis (obs from http://josd.github.io/eye/reasoning/rgb/blueproof003.n3)
 fixing critical bug in proof output (obs from http://josd.github.io/eye/reasoning/rgb/blueproof002.n3)
 output qnames when possible
 refactoring strela (stretch relax) part of EYE
 fixing issue with redundant answers coming from multiple queries (obs from Hong Sun)
 simplifying N3 to N3P compilation of numerals
 tested and working with SWIPL 7.1.33 kernel
[EYEWinter15]
 adding timestamp to probe
 fixing csv output for decimals (obs from Gijs Muys)
 finetuning atomgarbage collection margin to get scalable pvm
 fixing scount/1 and dynamic/1 in n3p
 fixing implicit quantification in passall (obs from DÃ¶rthe Arndt)
 fixing performance issue with pluginpvm (obs from DÃ¶rthe Arndt)
 fixing quadratic performance issue for plugin large number of forward rules
 adding statement counter for pluginpvm
 fixing issue with literals in predicate position (obs from DÃ¶rthe Arndt)
 adding pvm option to convert N3 Pcode to PVM code and pluginpvm switch to boost loading time 2 orders of magnitude
 fixing issue with redundant answers coming from passall
 fixing backward rules with predicatevariables (obs from DÃ¶rthe Arndt)
 adjusting tactic=linearselect by rewriting a fact as true => fact
 improving tactic=linearselect using e:transaction
 fixing prolog:throw (obs from Gijs Muys)
 adding tactic=linearselect to select each rule only once (obs from RESTdesc_image_processing_test_case)
 more pretty printing for n3p (obs from Gijs Muys)
 adding tactic=singleanswer to give only one answer and deprecating singleanswer
 adding exceptions to the support of @forAll (obs from DÃ¶rthe Arndt)
 fixing nonumerals in the output
 output the total number of input statements as in=count
 fixing n3p for rules (obs from DÃ¶rthe Arndt)
 fixing issue with bnodes in query conclusions
 fixing various builtins dealing with numerals (obs from Hong Sun)
 automatic creation of CSV output header e.g. select_test (obs from Boris De Vloed)
 fixing issue with log:rawType builtin (obs from DÃ¶rthe Arndt)
 fixing various issues with file: uris (obs from Giovanni Mels)
 using curl instead of wget to read from the web (thanks to Mac OS X Yosemite)
 fixing log:dtlit for prolog:atom (obs from JeanMarc Vanel)
 tested and working with SWIPL 7.1.28 kernel
[EYE201412]
 do not output rules with pass but use passall instead (obs from DÃ¶rthe Arndt)
 fixing univar and exivar issues in the output of rules
 fixing univar issue in the derivation of rules
 supporting backward queries like http://raw.githubusercontent.com/josd/bmb/master/query.n3
 output timestamp, output triple count, inference count, elapsed time and inferences/sec speed
 adjusting local and global stack limits
 fixing proof explanation in the case of plugin <n3p_resource>
 adding e:csvTuple to generate CSV output with strings (test case select_test)
 adding prolog:getrand and prolog:setrand builtins
 fixing e:closure builtin (obs from Gijs Muys)
 fixing bnode labels with minus sign (obs from Ruben Verborgh)
 adding nonumerals command line switch to have no numerals in output (obs from Hong Sun)
 adding builtin_redefinition exception
 fixing log:outputString for queries (obs from Ruben Verborgh at http://github.com/RubenVerborgh/RestoProof/blob/master/stepcount.n3)
 getting rid of wrong e:trace side effect (obs from Hong Sun)
 fixing e:labelvars builtin to have distinct blank node labels (obs from Hong Sun)
 fixing rule and query generation (obs from Hong Sun)
 fixing partial query answers (obs from Marc Twagirumukiza)
 adding coroutining for e:tuple builtin (obs from Hong Sun)
 fixing func:stringjoin RIF DTB builtin (obs from Giovanni Mels)
 improving query performance via generic answer/8 predicate
 fixing partial conclusions for RESTdesc (obs from Giovanni Mels)
 reducing memory footprint for turtle data
 fixing redundancy issue in r:gives of proof output
 dropping prolog:new_variables_in_term and prolog:variables_within_term builtins
 supporting partial conclusions for premis with e:optional (obs from Dirk Colaert)
[EYE201409]
 no premis reordering for backward rules
 improving EYE invocation script (obs from Boris De Vloed)
 restyling nope output of graph literals
 using nodistinct switch to have no distinct answers in output
 reimplementing pass and passall using query/2 (obs from Hong Sun)
 fixing pass for an EYE image that contains facts
 fixing error with image
 correcting log:rawType builtin for the case of log:Other
 using uniform measurement unit [triples/sec] in probe (obs from Kristof Depraetere)
 adding statement counter SC for plugin data (obs from Kristof Depraetere)
 allowing passonlynew together with any other query
 fix e:relabel for passonlynew
 removing redundant triples in the output (obs from Hong Sun)
 reimplementing passonlynew command line switch (obs from Hong Sun)
 extending statistics command line switch to output memory and process information
 reducing memory footprint for query answers
 improving strela (stretch relax) for graphs with literals
 throwing syntax error for string_error.ttl (obs from JeanMarc Vanel)
 adding probe command line switch to output speedtest info
 fixing and improving graph literal unifier
[EYE201406]
 fixing bnode issue for queries with a variable as conclusion (obs from Hong Sun)
 initial SRC (stretch relax cycle) supporting RGB
 fixing BASE and @base when base uri has no path (obs from Giovanni Mels)
 deprecate quickanswer and use singleanswer instead
 deprecate think because all proof paths can not be shown in the proof
 simplified implementation of quickanswer
 adding strela (stretch relax) support for N3 triples to trigger JITI
 improved JITI thanks to SWIProlog_6.6.6
 having additional rulehistogram command line option which was part of profile before
 removing e:alias builtin
 not reordering rules with conjunction in their conclusion
 fixing log:implies as builtin
 repairing the deprecated fn: builtins (obs from JeanMarc Vanel)
 introducing traditional command line switch
 correcting xsd:boolean datatype
 simplify inconsistency detection and throw inference_fuse exception
[EYE201403]
 fixing flag/1 issue for the creation of pvm images
 assuming nope when there is no query
 adjusting exit code for the case of exceptions (obs from Kristof Depraetere)
 fixing string escape issue for prolog:atom literals
 justifying pass and passall in proof output
 improving n3socket/1 exception handling
 improving EYE installation scripts (obs from Boris De Vloed)
 adding e:alias builtin
 creating a minimal EYE file release eye.zip (obs from Kristof Depraetere)
 correcting   to read command line arguments from stdin (obs from Kristof Depraetere)
 repairing strings (obs from JeanMarc Vanel)
 correcting exit status code (obs from Kristof Depraetere)
 using   to read command line arguments from stdin (obs from Kristof Depraetere)
 improving performance of plugin thanks to Jan Wielemaker
 fixing issues with e:relabel builtin
 fixing wcache uri  plugin uri to take the data from stdin
 using static initializer in euler.ProofEngine
 showing total elapsed walltime for #ENDS
 not running trunk engine eam/1 when there is no query
 correcting proof_for_Turing_completeness
 removing redundant triples for plugin
 fixing error in Turtle grammar (obs from Eric Prud'hommeaux)
 improving strela/2 for better query performance (obs from Boris De Vloed)
 fixing backward rules and showing them in profile output
 improving the output of profile
 improving JITI performance for prfstep/8 using term_index/2
 fixing log:uri for blank nodes (obs from Giovanni Mels)
 make sure that quickanswer gives at most 1 answer (obs from Giovanni Mels)
 correct throw of base_may_not_contain_hash exception (obs from Kristof Depraetere)
 fixing issue with prolog:conjunction
 adding uri DCG production for N3 parser
 Prolog_builtins according to ISO_standard
 disable branch engine for definite clause KB
 support proof (blue) without @ keywords and without bindings like in witch_example
 EYE supporting RGB
[Euler201312]
 adding nobindings switch to have no bindings in proof output
 throw base_may_not_contain_hash exception (obs from Ruben Verborgh)
 modified list cell functor from '$cons' to '[]'
 fixing log:semantics for issue with blank nodes
[Euler201311]
 fixing escape_unicode/2 bug and eyeearlreport.js passed 291 out of 291 tests
 fixing critical quantified variable issue in generated rules (obs from Hong Sun)
 improve stretch/relax mechanism strela/2 for complex answer patterns
 fixing regular expression implementation regex/3
 adding regex ? metacharacter support (obs from Boris De Vloed)
 improvements to run with SWIPL 7.1.0 kernel
 support rules where the variable premis is a univar (obs from DÃ¶rthe Arndt)
 adding e:relabel support to relabel subject with object in the output of the reasoning run (obs from Kristof Depraetere)
 correcting critical univar issue in N3 to N3P compiler
 fixing issue with Unicode surrogate pairs
 fixing e:wwwFormEncode bug (obs from Kristof Depraetere)
 fixing bug with plugin  to take the data from stdin
 using SWIPL as default kernel for Euler.jar and for eye scripts
[Euler201310]
 recovering the has keyword (obs from JeanMarc Vanel)
 fixing bug in rule generation from OWL (obs from JeanMarc Vanel)
 fixing bug with duplicate @forAll and @forSome declarations
 fixing issues with @forAll and @forSome declaration and scope (obs from DÃ¶rthe Arndt)
 fixing parser for turtle switch
 improving networking time for swipl (obs from Sajjad Hussain)
 reducing think combinatorial complexity
 fixing bug with log:implies (obs from DÃ¶rthe Arndt)
 dropping cmod option for N3 to N3P compiler
 fixing exception in log:implies (obs from Ruben Verborgh)
 fixing bug with @forAll (obs from DÃ¶rthe Arndt)
 implementing think to generate all proof paths for branch engine eam/3
 fixing issue with think together with nope
 using think to generate all proof paths (obs from Simon Mayer)
 adding log:rawType builtin
[Euler201309]
 adding e:graphCopy builtin to make a grounded copy of the subject graph
 updated pointer in eye license (obs from Boris De Vloed)
 perfect run of swap wet experiment and paws approach with swet_cwm_test thanks to W3C Cwm
 adding skosmappingvalidationrules thanks to Hong Sun
 fixing critical bug in log:includes (obs from Ruben Verborgh)
 adding disjunction_elimination_test_case using negation predicates
 improving graphlit networking performance
[Euler201308]
 tested with development SWIPL 6.5.2 kernel
 improving exception handling for java jar Euler.jar noinstall (obs from Giovanni Mels)
 adding turtle switch and now eye swipl passed_291_out_of_291_tests
 adding big decimal support (obs from Tests_for_Turtle)
 correcting log:semantics and log:includes
 moving from varpred/3 to exopred/3 to support RDF_literals and N3_formulae in predicate position
 correcting n3socket permission error
 simplify wget exception handling (obs from Ruben Verborgh)
[Euler201307]
 keeping track of scope value in multiple N3 Pcode files
 fixing unicode issue with log:semantics (obs from Ruben Verborgh)
 setting scope value in N3 Pcode files
 tested with stable SWIPL 6.4.1 kernel
 implementing term_expansion/2 for N3 Pcode files
 adding multifile/1 directives in N3 Pcode files
 refining SWAP_wet_experiment_using_graphlit_reasoning
 correcting N3 parser according to Tests_for_Turtle
 N3 parser can now throw unexpected_dot exception and is more strict for declarations (obs from Kristof Depraetere)
 make the N3 parser more robust for illegal tokens (obs from Ruben Verborgh)
 adding debugcnt command line switch to output debug info about counters
 reducing memory footprint thanks to Mustafa Yuksel
 fixing ances command line switch (obs from Sajjad Hussain)
 recovering the step <count> command line switch (obs from Sajjad Hussain)
 fixing stack limits for SWIPL (obs from Hong Sun)
 correcting xsd:decimal and xsd:double typed literals starting with a dot (obs from Kristof Depraetere)
[Euler201306]
 fixing issue with N3P roundtripping
 tested with SWIPL 6.3.18 and fixing output format of reasoning time
 setting utf8 encoding for plugin (obs from Hong Sun)
 improving varpred/3 implementation
 improving performance of log:dtlit
 correct blank node labeling in lemma generator
 fixing backward rule instrumentation
 finetune N3 Pcode with prfstep/6
 make sure when graph literals can be sorted
 fixing rules with variable graph literal conclusion
 correcting lemma generator to show the original direction of rules
 fixing lemma checker issue with variables in backward rules
 deprecating e:F and e:T as classes as they are just identifiers for boolean false and boolean true
 correcting parser in case of Abbreviating_common_datatypes (obs from Pieterjan De Potter)
[Euler201305]
 correcting the bindings in the lemmas for the case of disjunctive conclusions
 correcting the bindings in the lemmas for the case of variable predicates
 make cwm proofchecker happy with restoproof.n3 (obs from Ruben Verborgh)
 improving lemma generation for query answers (obs from Ruben Verborgh)
 adding string:replace builtin (contrib by JeanMarc Vanel)
 support lemmas with conjunction in r:gives
 correcting problem with mixing [] blocks and rdf:List (obs from JeanMarc Vanel)
 extractions are now lemmas (obs from Ruben Verborgh)
 can now point to a lemma
 support plugin  to take the data from stdin
 correcting string:concatenation builtin (obs from JeanMarc Vanel)
 fix round trip issues with N3 Pcode
 move from PCL code to N3 Pcode
 adjust calculation of networking time
 improve lemmaware networking speed for SWIPL
[Euler201304]
 using e:gives in e:possibleModel and in e:falseModel explanations
 supporting the dot inside names plus PERCENT and PN_LOCAL_ESC in local names (obs from Turtle_W3C_CR)
 relaxing base, keywords and prefix declarations such that the ending dot is optional
 correcting base and prefix declarations occurring in nested graphs (obs from Giovanni Mels)
 improving lemmaware performance for graphs with graph literals
 correcting output when answer is a conjunction
 support  as name for stdin input data
 correcting statement counter SC for log:semantics
 making integer, decimal and double values shorthand (obs from Turtle_W3C_CR)
 speeding up lemmata reasoning thanks to optimized getvars/2
 making language tags case insensitive (obs from Hong Sun)
[Euler201303]
 updated EYE_installation_guide
 handling SWIPL startup ERROR message under Windows Command Prompt
 adding createProofEngine and executeProofEngine to EYE_Java_API (obs from JeanMarc Vanel)
 fixing euler.ProofEngine to create and use eye.pvm for SWIPL (obs from Boris De Vloed)
 fixing wcache for relative uris (obs from Ruben Verborgh)
 fixing strings for log:outputString in a query (obs from Olivier MorÃ¨re)
 improve euler.ProofEngine to create and use eye.pvm for SWIPL plus update eye and eye.cmd scripts
 the #ENDS time is now the sum of starting, networking and reasoning cputime and is expressed in seconds
 increase EYE global memory limit (obs from Boris De Vloed)
 fixing image <image> for MONADIC test cases
[Euler201302]
 adding experimental pvm <spec> option to output human readable PVM code
 fixing list:first and list:rest for lists described via rdf:first and rdf:rest
 correcting e:label builtin (obs from JeanMarc Vanel)
 adding e:tripleList builtin used for triple/list transformation
 extending log:dtlit builtin for numeral object (obs from JeanMarc Vanel)
 adding e:labelvars builtin to ground the subject (obs from JeanMarc Vanel)
 improving performance for redundant lemmas (obs from SALUS EU FP7)
 adding SPARQL style BASE and PREFIX directives (obs from Turtle_W3C_CR)
 quoted literals with no datatype IRI and no language tag have datatype xsd:string (obs from Turtle_W3C_CR)
 extending quoted literals (obs from Turtle_W3C_CR)
 relaxing type and lang check of http://www.w3.org/2000/10/swap/string builtins (obs from Andrae Muys)
 fixing image <image> while testing sorted conclusion
 switching from yasam/1 and yasam/3 to eam/1 and eam/3
 deprecate yabc <image> and use image <image> to output PVM_code
 30 percent speed increase for EYE using SWIPL as YAP
[Euler201301]
 improving yabc <image> option so that image has full capability of eye
 adding log:notEqualTo and log:notIncludes unit tests in biP.n3
 adding license command line switch to show license info
 improving log:dtlit to accept numerals as lexical value (obs from Hong Sun)
 extending debug command line switch
 correcting log:includes and log:semantics builtins
 improving graph literal unification
 EYE now supports N3 set syntax ($ $)
 improving exception handling for n3socket/1
 Turing completeness test case http://eulersharp.sourceforge.net/2007/07test/turing_test
 removing redundant answers for conjunctive queries (obs from Hong Sun)
[Euler201212]
 N3 extensive (Next) experiment http://eulersharp.sourceforge.net/2007/07test/swet_test
 implementing eye profile for swipl
 all tests passed with SWIProlog 6.3.7 and 6.2.5 kernels
 aligning e:reason with log:conclusion
 correcting e:optional to backtrack properly (obs from Mustafa Yuksel)
 experimental implementation of log:conclusion
[Euler201211]
 extending e:length for graph subjects
 fixing user_output utf8 encoding
 finetuning the use of triple/3
 fixing e:max and e:min builtins (obs from Boris De Vloed)
 supporting query=<n3_resource> command line option
 extending math:memberCount for graph subjects (obs from Cwm)
 improving regular expression builtins
 improving error message for wcached resources (obs from Kristof Depraetere)
 correcting e:optional to work fine within e:findall (obs from Giovanni Mels)
 extending regular expression builtins (obs from Boris De Vloed)
 fixing parser for numerals (obs from Boris De Vloed)
 critical correction of unify/2 for graph literals
 initial proof_computation_test_case
 fixing resolve_uri/3 so that it can cope with ./ and ../
[Euler201210]
 using proofs with lemmas for proof computation
 fixing exec/2 bug (obs from Giovanni Mels)
 updating skosrules (obs from Giovanni Mels)
 adding e:findall with difference list
 critical bug correction in e:label builtin (obs from Suat GÃ¶nÃ¼l)
 fixing infinite loop in the output of RDF lists with variable rest
 correcting yasam so that the necessary and sufficient triples are asserted
 fixing graph literals in proof output
 using prolog:univ to stretch fcm:pi in FCM_plugin
 fix issue with french accent in input file name (obs from JeanMarc Vanel)
 implement and test EYE proofs with lemmas
 fix invalid_document error detection
[Euler201209]
 using stretch/relax mechanism for some, allv and avar
 adding yap option in euler.ProofEngine
 fixing xsd:dateTime and xsd:date constructors (obs from Boris De Vloed)
 fixing exec/2 (obs from Kristof Depraetere)
 improving memory footprint of RDF literals and is stretch/relax of lexical value in literal/2
 implementing prolog:new_variables_in_term for SWIPL
 changing rule order now gives same results (obs from Giovanni Mels)
 fix noinstall bug (obs from Kristof Depraetere)
 stretch e:tuple to have the benefit of SWIPL just in time indexing
 stretch/relax mechanism strela/2 and now SWIPL just in time indexing is just fine for all current test cases
[Euler201208]
 improving SWIPL memory footprint of N3 to PCL compiler
 retry wget in the case of 5xx Server Error
 fixing e:graphDifference, e:graphIntersection, e:graphList and e:disjunction
 improving declaration of dynamic predicates
 fixing crash in inconsistency detection (obs from Ruset Zeno)
 correcting absolute_uri/2 for local file names
 fixing yabc <file> switch for SWIPL
[Euler201207]
 improving PCL code generation for SWIPL
 fix e:reason for SWIPL on Windows
 fix bug for local file names with spaces (obs from Boris De Vloed)
 adding e:reason heavy builtin to invoke EYE
 all tests succeed with SWIProlog 6.1.9 for Windows 64bit edition
 correcting e:notLabel, log:notEqualTo, log:notIncludes, string:notEqualIgnoringCase and string:notMatches (obs from Boris De Vloed)
 fixing bug with variable graphs
 fixing wcache for urn's (obs from Kristof Depraetere)
 correcting the implementation of N3 @base (obs from Ruben Verborgh)
 adding parteval_test_case
[Euler201206]
 simplifying quickpossible switch
 fixing incompleteness issue of branch engine
 having explicit empty possible model or empty counter model
 correcting the entailment from all possible models (obs from splitting_cyclic_test_case)
 making str:concatenation more tolerant in what it accepts (obs from Sajjad Hussain)
 updated stable YAP 6.2.3 to fix bug in testing for groundness of very deep terms
 supporting Turtle DECIMAL and DOUBLE
 updated stable YAP 6.2.3 to fix saved state issues
 fixing the P histogram output of profile
 fixing query with backward rule as conclusion
 adding tmpfile <file> switch for temporary file used by N3 Socket
[Euler201205]
 adding yabc <file> switch to output YABC code
 fixing exception handling to close file before delete file
 adding testcases for e: builtins in biP.n3
 introducing hyperstep predicate hstep/2
 adding make_dynamic/1 to further improve memory footprint
 improving varpred/3 to work around RESOURCE ERROR not enough code space (obs from Gokce Banu Laleci Erturkmen)
 repairing noblank switch (obs from Sajjad Hussain)
 taking statistics out of profile and show statistics using new switch statistics
 making prolog:if builtin as soft_cut/3
 fixing exception with log:dtlit (obs from Hong Sun)
[Euler201204]
 supporting variables_within_term/3 for SWIProlog
 stricter creation of existentials in conclusion (obs from Boris De Vloed)
 correcting issue with existentials in constructive dilemma test case eye http://eulersharp.sourceforge.net/2007/07test/cd.n3
 correcting identity of prolog: builtins
 all RIF builtins are now in euler.yap
 correcting RIF builtins func:intersect and func:except (obs from Hong Sun)
 rules with a conclusion of the form {answer}^e:construct are treated as N3 queries
 fixing prolog:disjunction builtin
 rules with equal premise and conclusion are no longer automatically treated as N3 queries
 adding P histogram to profile which tells how many times each rule premis is proven
 improving exception handling of exec/2 (obs from Kristof Depraetere)
 using EYE_HOME environment variable in eye install and command (obs from Kristof Depraetere)
 using single within_scope/1
[Euler201203]
 adding e:call to support scoped prolog: builtins
 dropping prolog:not and using prolog:not_provable instead
 repairing e:findall for span 0 (obs from Sajjad Hussain)
 dropping trunk theory box for e:findall and e:optional
 treating rule with equal premise and conclusion as N3 query
 simplify proof of e:biconditional
 dropping logical update semantics for e:findall and e:optional
 repairing e:falseModel explanation (obs from Sajjad Hussain)
 better cleaning up of temporary files in temporary directory
 adding noinstall switch to skip EYE installation
 improving n3_pcl compiler and now much better networking time
 correcting bug with eye nope query http://notes.restdesc.org/2012/tmp/empty_query1.n3 (obs from Ruben Verborgh)
 improving EYE exception handling
 adding prolog:integer_power builtin
 improving MONADIC reasoning performance
[Euler201202]
 create temporary files in temporary directory (obs from Giovanni Mels)
 workaround for issue with unpacking of engine (obs from Giovanni Mels)
 throwing invalid_prolog_builtin exception
 initial FCM_plugin fully in N3
 initial Naive_Bayes_Belief_Network_plugin fully in N3
 using stable YAP 6.2.3 and stable SWIProlog 6.0.0
 adding header="CacheControl: maxage=3600" for wget (obs from Giovanni Mels)
 improving proof instrumentation for backward rules
 improving varpred and backward rule performance (obs from Kristof Depraetere)
 fixing log:semantics statement counter SC
 fixing prolog_sym/3 for prolog:_builtins
[Euler201201]
 correcting coroutining for log:dtlit (obs from Giovanni Mels)
 optimizing trunk engine so that TP (trunk premise counter) is up to 30 percent better (obs from Kristof Depraetere)
 implementing coroutining for log:dtlit (obs from Hans Cools)
 adding statistics/0 for profile
 adding statement counter SC (obs from Kristof Depraetere)
 the N3 to PCL compiler is now doing a better job to remove duplicates (obs from Kristof Depraetere)
 extending xsd:dateTime, xsd:date and xsd:time constructors to support timezone and correcting rifplugin
 improving varpred/3 to be on par with prolog:retract
 fixing resolve_uri/3 while testing RESTdesc test cases
 correcting and simplifying xsd:dateTime and xsd:date constructors
 workaround for issue with unpacking of engine (obs from Giovanni Mels)
 changing xsd:date constructor to involve timezone and correcting rifplugin
 fixing critical bug for log:outputString and strings
 using set_prolog_flag(float_format,'%.16g') to maintain precision (obs from Hans Cools)
 throwing empty_quickvar_name exception
 fixing parser for rdf lists
 correcting the output for prolog:univ
 adding e:Numeral class and e:numeral builtin property
 correcting the output of prolog:atom datatypes
 improving PCL code for quickanswer
 fixing type_error for xsd:date (obs from Hans Cools)
 adding text/n3 and text/turtle content types in euler.Codd (obs from Giovanni Mels)
 improving exception handling for unresolvable_relative_uri (obs from Kristof Depraetere)
[Euler201112]
 correcting networking and reasoning timing info
 fixing issue permission_error(modify,static_procedure,true/0)
 improving PCL code generation
 fixing monotonicity issue
 fixing proof instrumentation for backward rules
 fixing read from library(url) on Windows (obs from Helen Chen)
 fixing prolog:C builtin
 fixing the usage of prolog: builtin functions
 prolog:atom is now also a rdfs:Datatype
 supporting prolog:if, prolog:if_then and prolog:if_then_else
 fixing N3 to PCL compiler for N3plugins using prolog:when coroutining
 extending euler.Codd to use additional HTTP request and reply headers (obs from Giovanni Mels)
 support for some 400 prolog:_builtins
 improving log:outputString when the object is not a literal (obs from Dirk Colaert)
 unit tests for prolog: builtins at biP.n3
 correcting e:evidentiality and introducing e:applicability (obs from Dirk Colaert)
 initial support for N3plugins expressed as backward rules
[Euler201111]
 critical change in e:sort so that duplicates are not removed (obs from Hans Cools)
 improved exception handling in euler.Process (obs from Kristof Depraetere)
 use think switch to enable dynamic PCL code
 fixing plugin pcl_code
 attaching the number of models to the subject of e:inductivity
 switching from sem/1 and sem/3 to yasam/1 and yasam/3
 some more proof tactics debug info
 using e:tactic to support MONADIC reasoning
 updated YAP6.2.2 and big numbers are now indexed correctly
 adding nospan switch to disable span control in e:findall and e:optional
[Euler20111028]
 support logical update semantics for e:findall and e:optional
 output warning info with warn option
 correcting bug with eye http.n3 (obs from Ruben Verborgh)
 correcting proof generation for backward arrow rules
 correcting variable binding in backward arrow rules (obs from Ruben Verborgh)
 restore e:findall and e:optional like they were in Euler20110826
 assert consequents of backward arrow rules (obs from Ruben Verborgh)
[Euler20110930]
 correcting that the intersection of all possible models is entailed except when e:tactic is used
 improving parsing speed with factor 6 for large datasets
 correcting that the intersection of all possible models is entailed except when there are counter models (obs from Ruben Verborgh)
 removing shift_goal
 some extra profile output for networking time
 simplifying YASAM and e:findall
 correcting euler.Codd to return 404 Not Found for non existing action url (obs from Giovanni Mels)
 correcting e:evidentiality as the ratio possibleModels/(possibleModels+counterModels+falseModels) (obs from Hong Sun)
 correcting e:stringEscape builtin for language tagged and typed literals (obs from Boris De Vloed)
[Euler20110826]
 adding e:stringEscape builtin (obs from Boris De Vloed)
 dropping the step <count> command line option
 improving speed and memory footprint of log:semantics and log:includes for large graphs
 using stable YAP6.2.2
 the unbound subject of e:trace is now unified with an epoch timestamp
 supporting log:outputString and strings like in cwm
 adding libreadline.so.5 to Euler.jar
 adding some more error stream logging
 the subject of e:optional is now explicitly the scope/span of the KB
 improving log message for wcache
[Euler20110729]
 improving YASAM via quickanswer switch
 position independence of option wcache <uri> <file>
 using improved stable YAP6.2.1
 fixing the output of backward arrow rules (obs from Kristof Depraetere)
 using backward arrow rules for both forward and backward chaining (obs from Kristof Depraetere)
 extending e:inductivity description with e:evidentiality (obs from Dirk Colaert)
 improving exception handling for N3 to PCL compiler
 fixing wrong answers based on backward arrow rules
 fixing proofs based on backward arrow rules so that check.py is happy
 adding e:epsilon to represent the difference between the float 1.0 and the first larger floating point number
[Euler20110624]
 fixing the crash of e:format (obs from JeanMarc Vanel)
 using backward arrow rules as a hint to do backward chaining only
 adding nodistinct switch to have no distinct triples asserted in KB
 removing redundant triples (obs from Giovanni Mels)
 refining YASAM to improve determinism
 fixing string builtins bugs (obs from Boris De Vloed)
[Euler20110527]
 using a more fine granular copy_term to cope with large disjunctions
 correcting e:graphList builtin
 correcting list:first and rdf:first builtins
 use the encoding option of open/4 (obs from Jan Wielemaker)
 detect illegal_escape_sequence in RDF literals (obs from Kristof Depraetere)
 various euler.yap source code improvements (obs from Paulo Moura)
 support EYE for SWIProlog
 improve xsd numeric datatape handling
 improve determinism of EYE branch engine
[Euler20110429]
 correcting e:findall to use trunk theory box only
 extending e:graphList builtin (obs from Ruben Verborgh)
 adding pcl switch to output PCL code (obs from Wannes Meert)
 correcting the sorting of disjunctive pcl clauses to improve determinism of EYE branch engine sem/3
 correcting list:append in the presence of rdf:first and rdf:rest (obs from Kristof Depraetere)
 correcting e:findall infinite loop (obs from Kristof Depraetere)
 fix bug in e:integrityConstraint object
 adjust initial span limit from 0 to 1
[Euler20110325]
 refining temporary file naming
 fixing utf8 in uris and qnames
 correcting log:dtlit to strip the datatype (obs from Kristof Depraetere)
 extending log:dtlit and fixing negative xsd:duration (obs from Hans Cools)
 YAP OOOPS issue on Windows 7 now fixed thanks to Vitor
 working around a YAP OOOPS via exception handling in euler.ProofEngine
 correcting and improving exception handling in euler.Process (obs from Giovanni Mels)
 simplifying log:implies builtin
 correcting astep/5 to predict theories in quickpossible mode
 improving performance of log:includes for varpred unification (obs from Giovanni Mels)
 produce correct qnames
 unify xsd:boolean type
[Euler20110225]
 again with addShutdownHook needed for Windows (obs from Pieter Pauwels)
 repairing MONADIC reasoning (obs from Pieter Pauwels)
 correcting log:includes for varpred unification (obs from Giovanni Mels)
 improving EYE error handling
 output a space between the numeral in object position and the endoftriple dot
 testn3literal.n3 is now parsing fine (obs from Ruset Zeno)
 improving euler.ProcessErr error handling
 make the span in e:findall explicit and include span 0
 critical correction of astep/5 (obs from Hans Cools)
 improve trunk engine and correct TC (Trunk Conclusion) counter
[Euler20110128]
 EYE now can throw empty_false_model exception (obs from Kristof Depraetere)
 correcting e:optional to give all solutions (obs from Giovanni Mels)
 implementing crypto:md5 and crypto:sha in cryptoplugin
 the performance of remove duplicates should now be linear (obs from Pieter Pauwels)
 remove duplicates in disjunctions
 redesigned e:tuple builtin with improved speed and scalability (obs from Giovanni Mels)
 more refined sorting of disjunctive pcl clauses to improve determinism of EYE branch engine sem/3
[Euler20101231]
 EYE now accepts file: URL's like CWM and FuXi (obs from JeanMarc Vanel)
 finding countermodels is actually also getting a speed boost
 improving N3 parsing speed so that it now scales linearly too
 speed boost to MONADIC reasoning: Pieter's color learning case now scales *linearly* (was quadratic)
 taking away split/8 predicate in euler.yap
 improving fcmplugin (obs from Nassim Douali)
 improved N3 parser so that line numbers are always shown in case of ERROR
 extra rules for fl:pi in flrules
[Euler20101203]
 finetune the closing of Euler proof engine wrapper
 fix plugin exception handling
 fix utf8 issue with Eye on Windows
 dropping ttl option in euler.ProofEngine
 Eye errors are now really thrown as RuntimeException in euler.ProofEngine (obs from Giovanni Mels)
 extended API http://eulersharp.sourceforge.net/2004/01swap/docs/java/javadoc/euler/ProofEngine.html
 give an e:because explanation in e:falseModel for quickfalse switch
 using resolve_slash/2 to fix Windows file names
 critical change to have high performance euler path detection
 no r:gives in e:falseModel for quickfalse switch
[Euler20101112]
 introduce noqnames to have no qnames in the output
 repaired the output of rules (obs from JeanMarc Vanel)
 improved performance of log:includes
 replace past_triples/1 with after_line/1 to support exception reporting
 adjust quickpossible switch to keep the position of the goal rule
 repair bnode output
 introduce wcache <uri> <file> option to tell that uri is cached as file
 correcting the output of e:disjunction
 make sure that all @prefix declarations are in the output
 using e:inductivity to express the ratio possibleModels/(possibleModels+counterModels)
[Euler20101022]
 e:tactic is not changing the ordering of disjunctive clauses
 do not throw RuntimeException when ignoresyntaxerror (obs from Boris De Vloed)
 correcting resolve_uri/3 for <#> uri
 running with stable YAP 6.2.0
 linear performance for large disjunctions (e.g. 500000 abducibles)
 improve memory footprint for large disjunctions
 resolving critical issue (segmentation fault) with large conjunctions and large disjunctions
 improving e:findall performance when subject is explicit about span
 correcting e:findall for "too many temporaries" error (obs from Hans Cools)
 correcting e:optional to be within_span(1) (obs from Kristof Depraetere)
 flushing stderr output
 the intersection of all possible models is entailed except when there are counter models
 Eye errors are now thrown as RuntimeException in euler.ProofEngine (obs from Giovanni Mels)
 streaming to System.out is now optional in euler.ProofEngine (obs from Kristof Depraetere)
 fix fl:pi issue on Windows (obs from Nassim Douali)
 correction for induction of rules in that those rules really deduce triples in the r:gives
[Euler20101001]
 improving http://eulersharp.sourceforge.net/2006/02swap/fcmplugin.yap (obs from Nassim Douali)
 correction for induction of rules so that it is the same as abduction of log:implies triples
 correcting the assertion and retraction of facts on the skolem split tapes
 adding e:format builtin
[Euler20100903]
 update OWL 2 RL theories at http://eulersharp.sourceforge.net/#theories
 adding sparqlAnalysis ontologies at http://eulersharp.sourceforge.net/#ontologies
 deprecate quick and use quickfalse instead
 adding ignoresyntaxerror switch (obs from Kristof Depraetere)
 halt proof engine when there are syntax errors (obs from Giovanni Mels)
 addShutdownHook in ProofEngine.java plus streaming output for cli (obs from Giovanni Mels)
 updating build.xml to get an executable jar file (obs from Kristof Depraetere)
 better with extra switch quickpossible instead of confusing quick
 the intersection of all possible models is now entailed (crucial improvement)
 more systematic indentation for the output result
 making str:concatenation more tolerant in what it accepts
[Euler20100813]
 using url library thanks to SWI/YAP portability
 restore cut in unify/2 (obs from JeanMarc Vanel)
 using pltai for accurate temporal conversions thanks to SWI/YAP portability
 improving log:equalTo and log:notEqualTo for the case of graph literals with variable predicates
 correcting N3 tokenizer for the case of single quotes in uris (obs from Sajjad Hussain)
 changing the implementation of free variables (obs from Boris De Vloed)
 improving euler path detection in branch engine
 fix utf8 issue with Eye on Windows
 correcting euler.ProofEngine for Windows (obs from Olivier Rossel)
 correcting bnode predicates in rule conclusions
[Euler20100717]
 supporting bnode predicates in rule conclusions
 improving self contained Euler.jar
 improving ances and nobranch
[Euler20100707]
 fully Yap based euler.ProofEngine
 using brake/0 again in e:findall
 using epsilon in nbbnplugin.yap to be portable
 testing Yap6.0.6 with fewer fomitframepointer gcc compiler switch to avoid OOOPS on WinXP
 critical correction for log:conjunction (obs from Hans Cools)
 completing noqvars switch
[Euler20100526]
 fix the insignificance of the position of log:notEqualTo (obs from JeanMarc Vanel)
 generalizing noblank switch to noqvars and adding passall switch
 correcting formulae with e:disjunction
 reducing the number of steps in the trunk engine sem/1
 testing eye.yss
[Euler20100425]
 adding explicit set_prolog_flag(unknown,fail) (obs from Paulo Moura)
 improving noblank in proof output and increasing step default to 5000000
 Eye is calling wget with header="Accept: text/*" (obs from Giovanni Mels)
 improving quiet
 correcting incorrect free variables against blanknodes (obs from Sajjad Hussain)
 correcting str:containsIgnoringCase and str:equalIgnoringCase
 correcting list:in, list:last and list:member (obs from JeanMarc Vanel)
 bug fix for hyphens in quickvars (obs from Roberto Fraile)
 making starting time close to zero using eye.yss which is obtained by yap q l euler.yap g "save_program('eye.yss',main),halt"
 adding ances option to enable e:ancestorModel explanation
 improving performance of e:allAncestors
[Euler20100403]
 showing cputime and walltime on stderr for starting, networking and reasoning
 improving support for http uris
 correcting output of free variables
 correction in e:trace for attributed variables
 simplified rdf:first and rdf:rest builtins
 improving ancestor/2 predicate
 extending e:falseModel explanation with e:assertedAncestors and e:inferredDescendents
[Euler20100310]
 eye using Yap6.0.3
 Euler.jar no longer has json classes and depends on a separate json.jar
 simplified varpred unification
 correcting eye N3 tokenizer for nested quotes
 correcting e:distinct builtin (obs from Sajjad Hussain)
[Euler20100227]
 correcting dcg for decimal
 correcting "is" "of" "," eye N3 parser issue
 adding e:allAssertedAncestors and e:assertedTriple builtins
 correcting nbbn plugin
 resolving issue with mktime/2 (obs from Vitor Santos Costa)
 adding e:cartesianProduct builtin
 correcting rule derivation
 extending e:falseModel explanation with e:maxResolveMinRemoveOrdering
[Euler20100217]
 use sem/1 trunk engine for derivation with existentials in conclusion
 correcting nbbn plugin http://eulersharp.sourceforge.net/2006/02swap/nbbnplugin.yap
 starting and networking times are now msec walltime
 extending e:falseModel explanation with e:inconsistentTriplesOrdering and e:closureInconsistentTriplesOrdering
 sem/1 engine speed boost with nobranch switch
 removing duplicate triples in e:falseModel explanation
 correcting RIF plugin issue with mktime/2
 make sure that builtins can't be derived
[Euler20100124]
 updated ontologies and theories at http://eulersharp.sourceforge.net/
 reset @keywords in Eye N3 to PCL compiler
 correcting RIF plugin to cope with the fraction part of seconds
 splitting owlsameAs.n3 theory and having owlsameAsext.n3
 correcting argument quotation issue in Eye calling wget
 critical @forSome and @forAll correction
 improving proof output so that it passes W3C swap/check.py
 correcting escape sequences in the output of literals
[Euler20091218]
 adding str:scrape and str:search builtins for Eye
 correcting bnodes in proof output
 correcting query option
 ignoring Byte Order Mark in Parser.java
 improving determinism for sem split tape
[Euler20091206]
 correcting pass option
 fixing Eye4J parsing of nested formulae containing blank nodes
 adding step switch to Eye4J and that required a new builtin throw/1
 simplifying N3 to PCL compiler
[Euler20091121]
 correcting math:exponentiation
 removed comprehension switch
 added maximimum step count exception and default for step is 500000
 improved the writing of literals
 extending and testing RIF plugin http://eulersharp.sourceforge.net/2006/02swap/rifplugin.yap
 split/8left and split/8right euler path detection
[Euler20091023]
 enhancing split/8 rule to avoid ever growing models
 extending and testing RIF plugin http://eulersharp.sourceforge.net/2006/02swap/rifplugin.yap
 correcting fn: namespace to http://www.w3.org/2005/xpathfunctions#
[Euler20091002]
 correcting e:trace for EyeJ
 internal memotime/2 for Eye to improve mktime/2 performance
 improve networking time for Eye with http://gitorious.org/yapgit/mainline/commit/218bc2e423e0d3fb5da646d5f57364968b3eb2e1
[Euler20090825]
 correcting RDF plain literal parsing and implementing initial RDF PlainLiteral Eye plugin
 fixing bug in log:includes
 adding Naive Bayes Belief Network plugin for Eye
 creating Windows binary for Eye including Yap6.0.0 and wget1.11.4 and made with cygwin1.7
 initial Eye rifplugin plus test cases at http://eulersharp.sourceforge.net/2007/07test/rifP.n3
 application specific development of Eye plugins
[Euler20090731]
 Eye now using wget q O options
 correcting math:integerQuotient, math:remainder and math:rounded Eye builtins
 correcting e:biconditional calculation for small numbers
 adding euler.Eye path <yap path> option
 using maximum belief based conflict resolution in case of incomplete bayesian networks
[Euler20090721]
 throwing invalid_keyword_use error in Eye N3 parser
 adding e:graphList builtin
 reimplementation of Eye N3 to PCL compiler IO
 correcting rdf:type in output
 correcting parsing of var: qnames
[Euler20090714]
 adding noblank command line switch to have no blank nodes in output
 adding eye plugin <yap_resource> as Eye plugin mechanism for builtins
 fixing various issues with the proof output of EyeJ at http://eulersharp.sourceforge.net/2006/02swap/etc02.ref
 using rms based conflict resolution in case of incomplete bayesian networks
 refining euler path so do not step in your own step
 correcting fl:pi builtin
[Euler20090707]
 updated ontologies and theories at http://eulersharp.sourceforge.net/#theories
 dropping "has" as an implicit keyword (only fixed for Eye and EyeS)
 adding "Eye and OWL 2" page http://eulersharp.sourceforge.net/2003/03swap/eyeowl2.html
 correcting e:allDescendents and e:falseDescendents and improving their performance
 adjusting scope/span of fl:pi, e:allAncestors, e:allDescendents and e:biconditional builtins
 using e:valuation instead of e:strength to express (lower upper) valuation of a formula
[Euler20090629]
 updated ontologies and theories at http://eulersharp.sourceforge.net/#theories
 not writing qnames when there is a dot in the uri fragment identifier
 correcting math:integerQuotient and math:remainder according to Knuth's floored division
 fixing Eye and EyeS java wrapper
 adding EyeJ test cases http://eulersharp.sourceforge.net/2006/02swap/etc02
[Euler20090626]
 adding nobranch command line switch
 value range of fl:sigma is now [0,1] and adjusted implementation of fl:pi builtin
 improved eye proof output speed with factor 4 (average over 55 test cases)
 correcting str:matches in eyes.pl
 decrease memory impact during proof output
 correcting list:append builtin so that the subject can be any list of lists
[Euler20090618]
 include the http://eulersharp.sourceforge.net/#theories resources in new file release
 updated Testing Euler section in http://eulersharp.sourceforge.net/2006/02swap/MAKE
 correcting divide by zero
 correcting varpred issue in ancestor/2
 updated ontologies and theories at http://eulersharp.sourceforge.net/#theories
 correcting e:allAncestors and e:allDescendents builtins
[Euler20090612]
 README for Euler yap engine for SWIProlog (Eyes)
 updated ontologies and theories at http://eulersharp.sourceforge.net/#theories
 adding e:allAncestors and e:allDescendents builtins
 correcting fl:pi implementation w.r.t. truth value intervals
 adding test case performance chart http://eulersharp.sourceforge.net/2003/03swap/etc.html
[Euler20090530]
 correcting time measurement in euler.pl
 improved speed of bayesian e:biconditional and fuzzy fl:pi inferencing
 adding measure of skolem euler machine efficiency
[Euler20090518]
 improving speed for e:graphIntersection (in one case from 44 hours to 0.7 sec)
 fixing nested bnodes i.e. when using bnodes within []
 implementing e:consistentGives of a e:falseModel
 adding euler.ProofEngine constructor to initialize an engine with rules and data which can be invoked with the queryProofEngine method
 using regular sigmoid in fl:pi
 adding ontologies agent.n3 countries.n3 document.n3 environment.n3 event.n3 foster.n3 languages.n3 unitsExtension.n3 xdsMetadata.n3
 improving euler.Process overhead
[Euler20090426]
 running Eye with YAP version Yap6.0.0
 supporting log:dtlit builtin
 improving euler.ProofEngine overall speed
 correcting euler.Parser
 improving euler.ProofEngine proof output
[Euler20090328]
 euler.ProofEngine replacing euler.Egg
 relaxed parsing of qnames
 fixing sem/1 Horn engine and drop e:reflexive builtin
 fixing e:findall bug
 adding euler.ProofEngine
 initial Euler yap engine for SWIProlog (Eyes)
 correcting str:concatenation so that the subject is a list of strings
[Euler20090315]
 Egg producing proofs that can be checked with cwm/check.py
 fixing e:tuple blank node labeling
 adding Egg i.e. Euler for GridGain
 adding eye math:atan2, math:cosh, math:sinh and math:tanh builtins
 adding eye pass to passthru the N3
 fixing issues with prolog =:= and running yap without s thanks to Vitor for fixing
 adding fl:pi builtin and testing http://eulersharp.sourceforge.net/2003/03swap/flrules.n3
[Euler20090222]
 adding profile switch to euler.yap
 tuning Yap parameters and yap s 100000 euler.yap seems to be happy with all test cases
 show qnames with empty local name in proof output
 bug in N3 output corrected
 adding e:propertyChainExtension builtin and running owlrl test cases
 builtin e:roc to simulate ROC curve
 adding more debug info
[Euler20090210]
 adding Eye.java as Euler Yap Engine wrapper
 correcting datetime DCG
 improving exception handling
 checking for invalid langcode and checking for valid qname
 adding more debug info
 added comprehension limit exception to euler.yap engine
[Euler20090131]
 adding e:nonLabel builtin plus testing http://eulersharp.sourceforge.net/2003/03swap/flrules.n3
 adding eye debug version help and using wget network utility
 correcting euler sql conversion
 correcting @forSome in proof output
 supporting inverse triple and inverse rule declaration
 where possible blank nodes are now relabeled using the original label
 the empty graph {} is always interpreted as true
 correcting e:consistentGives graph
 proof all e:conditional triples so that e:biconditional builtin has explicit assumptions
[Euler20090122]
 correcting empty graph representation issues
 correcting log:uri builtin
 correcting utf8 issues
 improved N3 to PCL compiler
 improved N3 parser error handling
[Euler20090112]
 initial release of EYE which is the euler.yap engine including an N3 to PCL compiler
 adding fn:substring builtin
 improving e:biconditional bayesian inferencing
 correcting bnode handling in lists used in ontologies
 simplified fn:resolveuri implementation
[Euler20081211]
 SEM reasoner working with YAP
 quick conditional qc/3 using log so that it can keep precision when there are e.g. 20000 nodes
 updating http://eulersharp.sourceforge.net/GUIDE
 correcting resolve urn plus adding flag(keywords)
 e:tactic can be derived using N3 rules
[Euler20081104]
 SEMJ tested for 74 cases and the average speed is now 1.5 times slower than with SWIProlog
 correcting an exception with varpred in proof output
 reimplementation of log:conjuction to improve performance
 added euler quick switch for optimized runtime
 correcting getnumber/2 for typed literals
 tuning http://eulersharp.sourceforge.net/2007/07test/pd_hes_tactic.n3
 introducing e:tactic to support N3 based proof tactics
[Euler20081021]
 simplify pcl intermediate code
 using tactic/3 for proof tactics
 correcting e:graphDifference builtin
 added euler quiet switch to give shorter explanation at improved speed
 implementing euler pass trules to convert trules in e:conditional descriptions
[Euler20081006]
 SEMJ tested for 79 cases and the average speed is 2.8 times slower than with SWIProlog
 added e:sigmoid builtin
 SEMJ based on JLog
[Euler20080920]
 improving N3 to pcl compilation
 fixed e:biconditional for a given that is inconsistent
 adding e:label builtin to get the blank node label of the subject (this is a level breaker)
 adding "Euler under the hood" and "Prolog Coherent Logic (PCL)" to GUIDE
 fix resolving file: uris
 reviewed bnode labeling
 fix resolving http://localhost/.context+abc uris as if they were data:,abc uris
 correcting euler.Codd.dir()
[Euler20080831]
 simplify euler sql and tested with http://www.zentus.com/sqlitejdbc/ using codd JDBC connector
 adding setPrintStream and getPrintStream methods to jTrolog.engine.Prolog to support concurrent reasoning
 order of magnitude reduced SEMJ memory footprint
 correcting the use of variables in proof output
 using JDK regular expression utilities
[Euler20080815]
 correcting e:graphDifference builtin
 adding r:gives in e:falseModel description
 extending e:falseModel description with e:consistentGives using think
 adding e:graphIntersection builtin
 adding e:graphDifference builtin
 correcting empty graph output
[Euler20080804]
 simplify skolem machine tape chaining
 fixing log: builtins to deal with empty graphs
 adding del_step/4 in Skolem machine and correcting bug with varpred in proof output
 elaborated e:falseModel explanation
 new variable verb strategy plus correcting proof for facts provenance
 correcting typed literal conversion
 fix issues with concurrent SEM Codd services
 correction for e:falseModel and introduction of e:possibleModel
[Euler20080719]
 finding all inconsistencies using e:falseModel {}
 adding e:because to explanation of e:falseModel
 correcting log:semantics and log:implies when subject or object is a variable
 improved memory footprint during SEM proof output
 resolving http://localhost/.context+abc uris as if they were data:,abc uris
 false and "false"^^xsd:boolean are now fine in the conclusion of a rule
 shorten proof output
 correcting e:biconditional builtin and reviewed bnode labeling
 implementing HTTP HEAD method in Codd.java and using text/n3 ContentType for n3 content
 improved SEM command line java euler.EulerRunner sem test [nope] [rulestrules] uris querytquery uri
[Euler20080622]
 SEM Skolem Euler Machine jTrolog v2.1 based
 adding web/2 SEMLibrary builtin
 correcting issues with blank nodes in rule/query conclusions
 updated jtrolog.jar according to latest changes from Ivar in http://jtrolog.dev.java.net/svn/jtrolog/trunk
 use e:disjunction and see also http://lists.w3.org/Archives/Public/publiccwmtalk/2008AprJun/att0011/00part
 drop e:prune builtin
[Euler20080611]
 SEMJ which is jTrolog based is running http://eulersharp.sourceforge.net/2007/07test/semj_test.ref
 correcting log:semantics for 404 Not Found
 correcting fn:substringafter
[Euler20080609]
 initial SEMJ which is now jTrolog based (adapted jtrolog.jar included and much thanks to Ivar)
 correcting temporal reasoning primitives
[Euler20080531]
 updating http://eulersharp.sourceforge.net/GUIDE
 adding Codd application/sparqlquery MIME Type
 correcting e:biconditional builtin
 correcting jDateTime for timezone
[Euler20080525]
 using modified JLog to have double precision arithmetic
 fixing bnode issues for SEMJ and dropping data switch
 adding e:wwwFormEncode SEMJ builtin
 remove duplicate answers for SEMJ nope
[Euler20080521]
 initial SEMJ now JLog based
[Euler20080515]
 initial SEMJ tuProlog java based SEM reasoner
 model inconsistency as rule with => false
 correcting 9 year old bug in Euler toString()
 correcting proof output for keywords and for 1arities
 correcting N3 proof output for conjunctions
 correct e:falseModel and correct SEM nope
[Euler20080501]
 SEM engine now produces N3 proof output and obsoletes sem_tape.pl
 improve testas performance
 new SEM engine with better determinism and speed
 improve e:biconditional performance
 adjust some default mimetypes in Codd.java
[Euler20080421]
 correcting coroutining for builtins
 simplifying e:biconditional
 adding e:counterModel and e:falseModel triples in proof output
[Euler20080411]
 testing trules with SEM using trules and tquery
 testing existentials in the head
 adding e:biconditional builtin
 improving N3 proof output with sem_tape.pl
 correcting proof output using @keywords and correcting log:implies builtin
[Euler20080325]
 extend sem_tape.pl proof tester to return N3 proofs by default
 builtin .SEM and .SEMI codd services
 adding horn command line switch used in sem.pl to have engine with horn logic only
[Euler20080319]
 adding optional data and rules command line arguments
 adding e:sublist and e:pair builtins and tested with http://www.agfa.com/w3c/euler/einstein.n3
 euler sem to convert N3 input to sem.pl input and sem_tape.pl to check proof and return N3 answer
 adding sem_tape proof output
 adding builtin e:distinct to remove duplicate list items
 prototype Skolem Euler Machine sem.pl tested with ./sem < test011.in
 correcting e:optional for prologbchain
 always output the e:delta triples for prologbchain
[Euler20080306]
 correcting implementation of log:equalTo and log:notEqualTo
 avoid catch in e:optional
 adding step/3 in euler.pl to improve euler path detection
[Euler20080225]
 correcting e:true to model truthvalue t(conclusionpremises)
 correcting sql conversion and e:max and e:min
 implementing e:findall for prologbchain reasoning
 simplifying skeleton/2 predicate
 correcting log:semantics for failure
 adding e:optional builtin to call object formula and to succeed anyway
 assert rdf:Property members using prolog think
 correcting query with variable verb in conclusion
 keep e:delta only when flag('e:pe')
[Euler20080119]
 translate jena message when your_file.n3 or your_file.rdf is not found
 adding N3 parsing support for the <= shorthand
 using N3 shorthands in proof/result output
 correcting renaming of variables for nested log:implies
 correcting proof instrumentation for nested log:implies
 make list:append a deterministic builtin
 remove redundancy in proof output
[Euler20080106]
 updated http://eulersharp.sourceforge.net/GUIDE
 correcting str:matches and adding e:tokenize for regular expressions
 using e:delta measure in proof output
[Euler20071222]
 adding 404 Not Found reply in Codd.java
 adding http://eulersharp.sourceforge.net/2007/07test/biP.n3 test cases
 correcting math: builtins for plain literals
 improved euler5s math: builtins to calculate with xsd:dateTime and xsd:duration
 test to select between redundant models
 added GUIDE appendix
 added inconsistency checks plus preliminary explanation
[Euler20071212]
 full logical belief rules via belief(CP) = belief(P,C)/belief(P)
 using e:proofID and e:bayesRule in proof output
[Euler20071206]
 refining skeleton and no multiple choice anymore
 no minimal model requirement anymore
[Euler20071202]
 adding e:skeleton and correcting for pure belief calculus in euler.pl
 correcting graph source bug for euler lemma case
 adding euler5s profile option and tuning performance
 adding euler5s exception handling
 using MD5 hashes to abbreviate .context URI's
 correcting .euler sql service
[Euler20071120]
 adding euler5 SWI Prolog support
 correcting plain literals with language tag
 correcting math:quotient in euler52
 adding .IPaddress codd service
 correcting list:member and list:append
 improved HTTP request header read with cleanup socket garbage
[Euler20071107]
 correcting Codd string clipping bug and improved HTTP request header read
 updated http://eulersharp.sourceforge.net/GUIDE
 added .euler51 Codd service and added testas euler command line option and updated README
 improving time: builtins and adding e:T0 and e:timeWindow
 adding fn:substringafter and fn:substringbefore builtins
[Euler20071025]
 improving string processing with starts_with/2, ends_with/2, unquote/2 and concat/2
 proof output speed 5 times faster with qname/3
 correcting some list builtins
 correcting .context service and correcting N3 serialization
 why/4 with m3eb to resolve same model with same entropy
[Euler20071023]
 correcting bnodes for nope and fixing e:findall in query
 drop belief rule description and only have belief rule results
 why/4 with m3e
 adding N3 support for true and false keywords
 EulerLib memo predicates
 simplifying builtins (remove the assert fact)
 simplifying step/10
[Euler20070925]
 removing step/3
 correcting nefq when object of e:true is a variable
 adding positive/1 and using maximum positive belief for variants in why/4
 correcting Codd localhost issue
[Euler20070914]
 http://eulersharp.sourceforge.net/2006/02swap/etc5a running in pure java
 added test to java euler.EulerRunner to output test run
 supporting N3 @base
 corrected missing dot in proof output
[Euler20070909]
 builtin .wget in Codd.java
 slightly improved log:includes speed (up to 30%)
 correcting write_proof/0 and step/3 for incompleteness
 correcting log:semantics for euler52 and euler.yap
 tuprolog workaround for Int.unify and Long.unify
[Euler20070903]
 initial euler52 backwardforwardbackward chainer
 optimized nobe option
 euler.pl is now embedded in EulerLibrary.java
 initial EulerLibrary.java giving times 3 speed improvement for etc5a test run
 tuprolog workaround for OneWayList transform(List list) stackoverflow and testing uid
[Euler20070826]
 initial tuprolog euler.pl version
 correcting bug in proof output
[Euler20070809]
 euler.yap refactoring and 4 to 10 times speed improvement
 adding 2007/07test/m3b test
[Euler20070804]
 removing e:Variant and adding e:premises
 adding nobe switch (no belief explanation)
 correcting some nefq issues
 adding euler3, euler4 and euler5 entailment test cases
 variants have same proof state but *different* belief and now 2007/07test/pt is 100 times faster
[EulerAntichthonidrisbidentatus 20070708]
 added euler sql to translate triples into sql
 added codd support for http://host.domain/dbname?SQL=sql services
 using max values for variants (instead of avg or rms values)
 using qname for e:source object
 correcting Codd jdbc
 correcting proof/4 and why/2 and why/1
[EulerAnoplolepisnuptialis 20070624]
 extending proof output
 adjusting why/5
 adding some Expires: 1 http reply headers in Codd webizer
 preliminary guide http://eulersharp.sourceforge.net/GUIDE
[EulerAneuretussimon 20070616]
 extra euler path lemma case in step/7 boosting speed several orders of magnitude
 added euler nefq (no ex falso quodlibet) switch and update euler help
 asserted triples are translated to rule/2 (using .euler prologbchain)
 refined proof/4
[EulerAnergatesatratulus 20070610]
 correcting step/7 and proof/4 to get deterministic proof results
 use proof_state/4 to cache proof fragments
 using step/4 for facts
 using goal/2 to simplify things a bit more
 additional description of reasoner results using e:conclusion, e:beliefValue, e:informationValue
[EulerAdetomyrmavenatrix 20070526]
 introduced why/7 to have desired mathematical properties for e:true
 critical correction of euler path lemma case
 simplified things for facts and builtins
[EulerAcanthomyopsmurphii 20070513]
 svn repository at http://eulersharp.svn.sourceforge.net/svnroot/eulersharp/
 using rule/2 instead of clause/2
 added e:inverseEntropy as 1  binaryEntropy
[EulerAcanthomyopslatipes 20070505]
 a bit more N3 for the prologbchain proof output
 keep proof state using proof/5
 query as horn rule
[Euler1.5.45 20070422]
 reordering and correcting step/5 predicate
 query is to deduce rules
 conclusions with variable verb are a not_yet_implemented when bchain
 added relationships to logrules
[Euler1.5.44 20070413]
 now can also do backchain only inferencing (use .euler prologbchain)
 adding e:boolean and e:true predicates
 correction of variable verb representation in proof output
 speedup Parser.java
 adding e:binaryEntropy builtin
[Euler1.5.43 20070308]
 Codd HTTP reply header always having ContentType
 added chatty flag for bayesian
 exceeding process.ttl now returns a HTTP error code 500 Internal Server Error
 scoped e:bayesian to have data sources in proof
 improved e:bayesian performance using independency test
 adding e:ruleOfThree builtin
[Euler1.5.41 20070210]
 fix e:tuple for Yap5.1.2
 improved e:bayesian performance using sorting and reordering
 adding e:max and e:min builtins
 improved e:bayesian performance using blackboard
[Euler1.5.40 20070120]
 make sure that every uri has a qname too
 changed toPrologString for numerals
 euler.Codd with properties file plus fixing the service.* properties
 adding e:sort, e:reverse and e:prune builtins
 process.* properties in codd.properties ending with  are with piped input
 adding e:length builtin
[Euler1.5.38 20070102]
 initial euler5 json support
 use mapping.* codd properties in euler1
 added time:year, time:month and time:day builtins
 fixing parsing of { ?X [ rdfs:range ?C ] ?Y } => { ?Y a ?C }.
 e:findall least model
 implement logarithm via math:exponentiation
[Euler1.5.37 20061130]
 correct e:bayesian result and speed improvement using memoization
[Euler1.5.36 20061120]
 correct e:bayesian for conditional inferencing
 adding fn:resolveuri and log:conjunction builtin and correcting log:uri
[Euler1.5.35 20061109]
 adding list:first, list:rest, list:last, list:in, list:member, list:append and log:uri builtins
 correction in proof output; thanks to Dan Connolly
 add http port number support
 fix problem with tab
 cache log:semantics and correct for nonxexistent resources
 correct e:bayesian for conditional inferencing
[Euler1.5.34 20061020]
 updated README with "Just running Euler via RESTfull webservice"
 added e:bayesian builtin and using e:depends to describe first order bayesian networks
 added primitive mapping feature in Codd
[Euler1.5.33 20061017]
 simplified euler5 core engine
 subject of math:sum and math:product can have more than 2 items
 test with e:ScopedProperty
 added math:memberCount builtin
[Euler1.5.32 20060915]
 support N3 @keywords and default names
 drop e:no and use e:findall with empty answer instead
 occurs check not needed for deduction over rational tree models
 simplified pirules.n3 and moved original version to picalc.n3
 implementing e:tuple and map functional terms to (fn x1 ... xi)
 using var: in proof output
[Euler1.5.31 20060819]
 added lldm test case
 improving euler5 core engine
 added pi:Port and pi:Message in pirules.n3
[Euler1.5.30 20060805]
 using call in core engine
 correcting for owl:sameAs
 reshuffle dynamic declarations
 correcting for instrument
[Euler1.5.28 20060715]
 added more @forSome in proof and check more proofs
 use log:implies instead of ==> and improved lf inferencing
 fix Codd HTTP reply headers
 correcting N3 parser for verb repetition
 correcting e:no and e:findall with done/0 and do/0
 fix bnode in list
[Euler1.5.27 20060701]
 correcting e:no and e:findall
 no empty result for e:findall
 no proof explanation with nope running 4 times faster
 testing equality theory
 fixing toProlog
[Euler1.5.26 20060618]
 correcting bnodes for check.py
 added equality theory to rporules.n3 and 'ignored' it in euler1 as it is builtin there
 corrected e:trace
[Euler1.5.25 20060611]
 using r:Fact and r:source as suggested by Dan Connolly and test with check.py
 fixing log:semantics
 added e:findall and e:no (again)
[Euler1.5.24 20060604]
 using swap/reason for proofs
 avoid the HTTP/1.0 504 Gateway Timeout
 using e:scope and log:notIncludes
[Euler1.5.23 20060528]
 updated N3 <> yap translation
 using proof structure as: feedlist e:rpn3 proofstack
 using kb Scoped Negation As Failure as: feedlist e:no triple
[Euler1.5.22 20060526]
 added euler5 flag('e:nope') when no proof explanation
 added waitFor() in Process.java to avoid the "# No proof found: timeout"
 direct euler5 fetching from euler1
[Euler1.5.20 20060520]
 N3 RPN proof style using e:enter, e:imply and e:prove
 backchaining in proof engine
 correcting some builtins and using coroutining
[Euler1.5.18 20060514]
 added euler1 switch pterm to produce a prolog term needed for euler5 log:semantics
 added "Exon query" and "Test builtins" test cases to etc5
 corrected euler5 log:semantics
 added euler5 log:includes and log:notIncludes
 added euler5 string builtins
 made bnode label generation thread safe in Codd.java
 added extra destroy() in Process.java to avoid the "Too many open files" bug
[Euler1.5.16 20060507]
 euler5 variable predicates
 euler5 log:semantics
 euler5 N3 output
[Euler1.5.14 20060430]
 euler5 adding theorem explanations
 README http://eulersharp.sourceforge.net/2006/02swap/README
[Euler1.5.12 20060428]
 further testing euler5 which is written in Prolog
[Euler1.5.10 20060421]
 preliminary euler5 which is written in Prolog
