dyliss_lattice.lp 119 KB
Newer Older
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 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042 2043
concept(0).
int(0,asp). int(0,graphe). int(0,rdf). int(0,metabolisme). ext(0,olivier_dameron). ext(0,anne). ext(0,nathalie). ext(0,lucas). 
concept(1).
specint(1,matrice_extracell). int(1,graphe). int(1,matrice_extracell). int(1,biopax). int(1,asp). int(1,signalisation). int(1,rdf). int(1,metabolisme). ext(1,olivier_dameron). ext(1,nathalie). 
concept(2).
int(2,asp). int(2,rdf). int(2,metabolisme). ext(2,olivier_dameron). ext(2,pierre_vignet). ext(2,anne). ext(2,meziane). ext(2,nathalie). ext(2,lucas). 
concept(3).
int(3,rdf). int(3,metabolisme). ext(3,olivier_dameron). ext(3,pierre_vignet). ext(3,anne). ext(3,meziane). ext(3,nathalie). ext(3,jeanne). ext(3,lucas). 
concept(4).
int(4,asp). int(4,biopax). int(4,signalisation). int(4,rdf). int(4,metabolisme). ext(4,olivier_dameron). ext(4,pierre_vignet). ext(4,nathalie). 
concept(5).
specint(5,metabolisme). int(5,metabolisme). ext(5,olivier_dameron). ext(5,pierre_vignet). ext(5,clemence). ext(5,arnaud). ext(5,lucas). ext(5,pierre). ext(5,julie). ext(5,anne). ext(5,meziane). ext(5,camille). ext(5,jeanne). ext(5,marie). ext(5,nathalie). specext(5,pierre). 
concept(6).
int(6,asp). int(6,graphe). int(6,metabolisme). ext(6,olivier_dameron). ext(6,anne). ext(6,clemence). ext(6,nathalie). ext(6,lucas). 
concept(7).
int(7,asp). int(7,metabolisme). ext(7,olivier_dameron). ext(7,pierre_vignet). ext(7,clemence). ext(7,anne). ext(7,meziane). ext(7,nathalie). ext(7,lucas). 
concept(8).
int(8,graphe). int(8,rdf). int(8,biopax). ext(8,olivier_dameron). ext(8,francois_moreews). ext(8,nathalie). 
concept(9).
int(9,rdf). int(9,biopax). ext(9,olivier_dameron). ext(9,pierre_vignet). ext(9,francois_moreews). ext(9,nathalie). 
concept(10).
int(10,graphe). int(10,biopax). ext(10,olivier_dameron). ext(10,francois_moreews). ext(10,maxime). ext(10,nathalie). 
concept(11).
specint(11,biopax). int(11,biopax). ext(11,olivier_dameron). ext(11,pierre_vignet). ext(11,francois_moreews). ext(11,maxime). ext(11,nathalie). 
concept(12).
int(12,graphe). int(12,rdf). ext(12,olivier_dameron). ext(12,francois_moreews). ext(12,anne). ext(12,nathalie). ext(12,lucas). 
concept(13).
specint(13,rdf). int(13,rdf). ext(13,olivier_dameron). ext(13,pierre_vignet). ext(13,vijay). ext(13,lucas). ext(13,anne). ext(13,meziane). ext(13,xavier). ext(13,francois_moreews). ext(13,jeanne). ext(13,nathalie). 
concept(14).
ext(14,olivier_dameron). ext(14,pierre_vignet). ext(14,clemence). ext(14,maxime). ext(14,lucas). ext(14,pierre). ext(14,julie_laniau). ext(14,meziane). ext(14,xavier). ext(14,francois_moreews). ext(14,camille). ext(14,sebastien_letord). ext(14,marie). ext(14,sebastien_francois). ext(14,meline). ext(14,marine). ext(14,francois_coste). ext(14,arnaud). ext(14,vijay). ext(14,jacques). ext(14,julie). ext(14,anne). ext(14,catherine). ext(14,juliette). ext(14,jeremy). ext(14,denis). ext(14,jeanne). ext(14,nathalie). 
concept(15).
specint(15,signalisation). int(15,signalisation). ext(15,olivier_dameron). ext(15,pierre_vignet). ext(15,francois_coste). ext(15,nathalie). 
concept(16).
specint(16,asp). int(16,asp). ext(16,olivier_dameron). ext(16,pierre_vignet). ext(16,clemence). ext(16,lucas). ext(16,jacques). ext(16,julie_laniau). ext(16,anne). ext(16,meziane). ext(16,nathalie). specext(16,julie_laniau). 
concept(17).
specint(17,graphe). int(17,graphe). ext(17,olivier_dameron). ext(17,meline). ext(17,clemence). ext(17,lucas). ext(17,jacques). ext(17,anne). ext(17,francois_moreews). ext(17,maxime). ext(17,nathalie). 
concept(18).
int(18,graphe). int(18,asp). ext(18,olivier_dameron). ext(18,jacques). ext(18,clemence). ext(18,anne). ext(18,nathalie). ext(18,lucas). 
concept(19).
int(19,optimisation). int(19,biopax). int(19,asp). int(19,signalisation). int(19,rdf). int(19,metabolisme). ext(19,pierre_vignet). ext(19,nathalie). 
concept(20).
int(20,tf). int(20,graphe). int(20,rdf). int(20,biopax). ext(20,francois_moreews). ext(20,nathalie). 
concept(21).
int(21,graphe). int(21,ecologie_des_systemes). int(21,graphe_interaction). int(21,rdf). int(21,metabolisme). int(21,asp). ext(21,anne). ext(21,nathalie). 
concept(22).
int(22,ecologie_des_systemes). int(22,graphe_interaction). int(22,rdf). int(22,metabolisme). int(22,asp). ext(22,anne). ext(22,meziane). ext(22,nathalie). 
concept(23).
int(23,optimisation). int(23,graphe). int(23,tgfbeta). int(23,graphe_interaction). int(23,metabolisme). int(23,fca). int(23,rdf). int(23,asp). ext(23,nathalie). ext(23,lucas). 
concept(24).
int(24,asp). int(24,optimisation). int(24,rdf). int(24,metabolisme). ext(24,pierre_vignet). ext(24,nathalie). ext(24,lucas). 
concept(25).
int(25,asp). int(25,graphe_interaction). int(25,graphe). int(25,rdf). int(25,metabolisme). ext(25,anne). ext(25,nathalie). ext(25,lucas). 
concept(26).
int(26,asp). int(26,graphe_interaction). int(26,rdf). int(26,metabolisme). ext(26,anne). ext(26,meziane). ext(26,nathalie). ext(26,lucas). 
concept(27).
int(27,tgfbeta). int(27,graphe). int(27,biopax). ext(27,maxime). ext(27,nathalie). specext(27,maxime). 
concept(28).
specint(28,tf). int(28,tf). ext(28,catherine). ext(28,francois_moreews). ext(28,nathalie). 
concept(29).
specint(29,adam). int(29,adam). int(29,proteine). int(29,signalisation). ext(29,francois_coste). ext(29,nathalie). 
concept(30).
specint(30,proteine). int(30,proteine). ext(30,francois_coste). ext(30,juliette). ext(30,nathalie). 
concept(31).
int(31,optimisation). int(31,fca). int(31,graphe). int(31,tgfbeta). int(31,graphe_interaction). int(31,asp). ext(31,jacques). ext(31,nathalie). ext(31,lucas). 
concept(32).
int(32,ecologie_des_systemes). int(32,fca). int(32,graphe_interaction). ext(32,denis). ext(32,nathalie). 
concept(33).
specint(33,fca). int(33,fca). ext(33,jeremy). ext(33,denis). ext(33,jacques). ext(33,nathalie). ext(33,lucas). 
concept(34).
int(34,fca). int(34,graphe_interaction). ext(34,jacques). ext(34,denis). ext(34,nathalie). ext(34,lucas). 
concept(35).
specint(35,tgfbeta). int(35,tgfbeta). int(35,graphe). ext(35,jacques). ext(35,maxime). ext(35,nathalie). ext(35,lucas). 
concept(36).
specint(36,optimisation). int(36,optimisation). int(36,asp). ext(36,jacques). ext(36,pierre_vignet). ext(36,nathalie). ext(36,lucas). 
concept(37).
specint(37,ecologie_des_systemes). int(37,ecologie_des_systemes). int(37,graphe_interaction). ext(37,clemence). ext(37,anne). ext(37,meziane). ext(37,denis). ext(37,marie). ext(37,nathalie). 
concept(38).
int(38,ecologie_des_systemes). int(38,graphe_interaction). int(38,metabolisme). ext(38,clemence). ext(38,marie). ext(38,anne). ext(38,meziane). ext(38,nathalie). 
concept(39).
int(39,ecologie_des_systemes). int(39,graphe_interaction). int(39,metabolisme). int(39,asp). ext(39,clemence). ext(39,anne). ext(39,meziane). ext(39,nathalie). 
concept(40).
int(40,ecologie_des_systemes). int(40,graphe_interaction). int(40,graphe). int(40,metabolisme). int(40,asp). ext(40,clemence). ext(40,anne). ext(40,nathalie). 
concept(41).
specint(41,graphe_interaction). int(41,graphe_interaction). ext(41,clemence). ext(41,lucas). ext(41,jacques). ext(41,julie). ext(41,anne). ext(41,meziane). ext(41,denis). ext(41,camille). ext(41,marie). ext(41,nathalie). 
concept(42).
int(42,graphe_interaction). int(42,metabolisme). ext(42,clemence). ext(42,lucas). ext(42,julie). ext(42,anne). ext(42,meziane). ext(42,camille). ext(42,marie). ext(42,nathalie). specext(42,julie). 
concept(43).
int(43,graphe_interaction). int(43,asp). ext(43,jacques). ext(43,clemence). ext(43,anne). ext(43,meziane). ext(43,nathalie). ext(43,lucas). 
concept(44).
int(44,graphe_interaction). int(44,graphe). int(44,asp). ext(44,jacques). ext(44,anne). ext(44,clemence). ext(44,nathalie). ext(44,lucas). 
concept(45).
int(45,asp). int(45,graphe_interaction). int(45,metabolisme). ext(45,clemence). ext(45,anne). ext(45,meziane). ext(45,nathalie). ext(45,lucas). 
concept(46).
int(46,asp). int(46,graphe_interaction). int(46,graphe). int(46,metabolisme). ext(46,clemence). ext(46,anne). ext(46,nathalie). ext(46,lucas). 
concept(47).
int(47,optimisation). int(47,tf). int(47,graphe). int(47,biopax). int(47,adam). int(47,tgfbeta). int(47,proteine). int(47,signalisation). int(47,graphe_interaction). int(47,metabolisme). int(47,fca). int(47,matrice_extracell). int(47,ecologie_des_systemes). int(47,rdf). int(47,asp). ext(47,nathalie). specext(47,nathalie). 
concept(48).
int(48,optimisation). int(48,correlations). int(48,signalisation). int(48,puceron). int(48,python). int(48,matrice_extracell). int(48,fair_data). int(48,bacterie). int(48,tf). int(48,graphe). int(48,signature). int(48,proteine). int(48,graphe_interaction). int(48,metabolisme). int(48,grammaires). int(48,classification). int(48,ecologie_des_systemes). int(48,correlation). int(48,enzymes). int(48,apprentissage). int(48,gene_ontology). int(48,asp). int(48,visu3D). int(48,orthocis). int(48,plma). int(48,sparql). int(48,biopax). int(48,biologie_marine). int(48,adam). int(48,tgfbeta). int(48,transporteurs). int(48,orthology). int(48,askomics). int(48,fca). int(48,requete_federe). int(48,rdf). 
concept(49).
int(49,correlations). int(49,visu3D). int(49,enzymes). int(49,adam). int(49,transporteurs). int(49,signalisation). int(49,proteine). int(49,askomics). int(49,grammaires). int(49,classification). int(49,plma). int(49,correlation). int(49,apprentissage). int(49,gene_ontology). ext(49,francois_coste). specext(49,francois_coste). 
concept(50).
specint(50,apprentissage). specint(50,correlations). int(50,grammaires). int(50,proteine). int(50,enzymes). int(50,correlations). int(50,transporteurs). int(50,apprentissage). ext(50,juliette). ext(50,francois_coste). specext(50,juliette). 
concept(51).
int(51,optimisation). int(51,graphe). int(51,tgfbeta). int(51,graphe_interaction). int(51,puceron). int(51,fca). int(51,classification). int(51,asp). ext(51,jacques). ext(51,lucas). specext(51,jacques). 
concept(52).
int(52,optimisation). int(52,graphe). int(52,tgfbeta). int(52,graphe_interaction). int(52,puceron). int(52,metabolisme). int(52,python). int(52,fca). int(52,classification). int(52,rdf). int(52,asp). ext(52,lucas). specext(52,lucas). 
concept(53).
int(53,classification). int(53,biologie_marine). int(53,visu3D). int(53,plma). int(53,enzymes). int(53,metabolisme). ext(53,arnaud). specext(53,arnaud). 
concept(54).
specint(54,plma). specint(54,visu3D). int(54,plma). int(54,enzymes). int(54,classification). int(54,visu3D). ext(54,arnaud). ext(54,francois_coste). 
concept(55).
int(55,biologie_marine). int(55,enzymes). int(55,classification). int(55,metabolisme). ext(55,jeanne). ext(55,arnaud). 
concept(56).
int(56,enzymes). int(56,classification). ext(56,jeanne). ext(56,arnaud). ext(56,francois_coste). 
concept(57).
specint(57,enzymes). int(57,enzymes). ext(57,jeanne). ext(57,juliette). ext(57,arnaud). ext(57,francois_coste). 
concept(58).
int(58,bacterie). int(58,classification). int(58,biologie_marine). int(58,enzymes). int(58,rdf). int(58,metabolisme). ext(58,jeanne). specext(58,jeanne). 
concept(59).
specint(59,askomics). int(59,askomics). ext(59,olivier_dameron). ext(59,meline). ext(59,clemence). ext(59,marine). ext(59,francois_coste). ext(59,anne). ext(59,meziane). ext(59,xavier). ext(59,francois_moreews). ext(59,denis). specext(59,marine). 
concept(60).
specint(60,correlation). int(60,correlation). int(60,askomics). ext(60,olivier_dameron). ext(60,meline). ext(60,francois_coste). 
concept(61).
int(61,correlation). int(61,graphe). int(61,askomics). ext(61,olivier_dameron). ext(61,meline). specext(61,meline). 
concept(62).
int(62,graphe). int(62,askomics). ext(62,olivier_dameron). ext(62,francois_moreews). ext(62,anne). ext(62,clemence). ext(62,meline). 
concept(63).
specint(63,puceron). int(63,fca). int(63,classification). int(63,graphe_interaction). int(63,puceron). ext(63,jacques). ext(63,denis). ext(63,lucas). 
concept(64).
int(64,fca). int(64,classification). int(64,ecologie_des_systemes). int(64,graphe_interaction). int(64,puceron). int(64,askomics). ext(64,denis). specext(64,denis). 
concept(65).
specint(65,classification). int(65,classification). ext(65,jacques). ext(65,francois_coste). ext(65,jeanne). ext(65,denis). ext(65,arnaud). ext(65,lucas). 
concept(66).
int(66,classification). int(66,askomics). ext(66,denis). ext(66,francois_coste). 
concept(67).
int(67,ecologie_des_systemes). int(67,graphe_interaction). int(67,askomics). ext(67,clemence). ext(67,denis). ext(67,anne). ext(67,meziane). 
concept(68).
int(68,classification). int(68,metabolisme). ext(68,jeanne). ext(68,arnaud). ext(68,lucas). 
concept(69).
int(69,rdf). int(69,classification). int(69,metabolisme). ext(69,jeanne). ext(69,lucas). 
concept(70).
int(70,graphe). int(70,sparql). int(70,biopax). int(70,signature). int(70,signalisation). int(70,metabolisme). int(70,askomics). int(70,python). int(70,matrice_extracell). int(70,correlation). int(70,requete_federe). int(70,fair_data). int(70,gene_ontology). int(70,rdf). int(70,asp). ext(70,olivier_dameron). specext(70,olivier_dameron). 
concept(71).
specint(71,gene_ontology). int(71,correlation). int(71,signalisation). int(71,gene_ontology). int(71,askomics). ext(71,olivier_dameron). ext(71,francois_coste). 
concept(72).
int(72,grammaires). int(72,orthocis). int(72,orthology). int(72,tf). ext(72,catherine). specext(72,catherine). 
concept(73).
specint(73,grammaires). int(73,grammaires). ext(73,catherine). ext(73,juliette). ext(73,francois_coste). 
concept(74).
specint(74,sparql). int(74,rdf). int(74,sparql). ext(74,olivier_dameron). ext(74,meziane). ext(74,vijay). ext(74,xavier). 
concept(75).
int(75,rdf). int(75,sparql). int(75,askomics). ext(75,olivier_dameron). ext(75,meziane). ext(75,xavier). specext(75,xavier). 
concept(76).
int(76,rdf). int(76,askomics). ext(76,olivier_dameron). ext(76,francois_moreews). ext(76,anne). ext(76,meziane). ext(76,xavier). 
concept(77).
int(77,graphe). int(77,biologie_marine). int(77,transporteurs). int(77,graphe_interaction). int(77,metabolisme). int(77,askomics). int(77,ecologie_des_systemes). int(77,bacterie). int(77,asp). ext(77,clemence). specext(77,clemence). 
concept(78).
specint(78,transporteurs). int(78,transporteurs). ext(78,clemence). ext(78,juliette). ext(78,francois_coste). 
concept(79).
int(79,transporteurs). int(79,askomics). ext(79,clemence). ext(79,francois_coste). 
concept(80).
specint(80,bacterie). int(80,bacterie). int(80,metabolisme). ext(80,clemence). ext(80,anne). ext(80,meziane). ext(80,camille). ext(80,jeanne). ext(80,marie). 
concept(81).
int(81,bacterie). int(81,graphe_interaction). int(81,metabolisme). ext(81,clemence). ext(81,marie). ext(81,camille). ext(81,meziane). ext(81,anne). specext(81,camille). 
concept(82).
int(82,biologie_marine). int(82,bacterie). int(82,metabolisme). ext(82,marie). ext(82,clemence). ext(82,jeanne). ext(82,meziane). 
concept(83).
int(83,ecologie_des_systemes). int(83,biologie_marine). int(83,bacterie). int(83,graphe_interaction). int(83,metabolisme). ext(83,marie). ext(83,clemence). ext(83,meziane). specext(83,marie). 
concept(84).
int(84,sparql). int(84,biologie_marine). int(84,graphe_interaction). int(84,metabolisme). int(84,askomics). int(84,python). int(84,ecologie_des_systemes). int(84,bacterie). int(84,rdf). int(84,asp). ext(84,meziane). specext(84,meziane). 
concept(85).
int(85,bacterie). int(85,biologie_marine). int(85,ecologie_des_systemes). int(85,asp). int(85,graphe_interaction). int(85,metabolisme). int(85,askomics). ext(85,clemence). ext(85,meziane). 
concept(86).
int(86,biologie_marine). int(86,bacterie). int(86,rdf). int(86,metabolisme). ext(86,jeanne). ext(86,meziane). 
concept(87).
specint(87,biologie_marine). int(87,biologie_marine). int(87,metabolisme). ext(87,jeanne). ext(87,marie). ext(87,clemence). ext(87,arnaud). ext(87,meziane). 
concept(88).
specint(88,requete_federe). int(88,requete_federe). int(88,rdf). int(88,sparql). ext(88,olivier_dameron). ext(88,vijay). specext(88,vijay). 
concept(89).
specint(89,python). int(89,python). ext(89,olivier_dameron). ext(89,pierre_vignet). ext(89,meziane). ext(89,jeremy). ext(89,sebastien_letord). ext(89,sebastien_francois). ext(89,lucas). specext(89,sebastien_letord). specext(89,sebastien_francois). 
concept(90).
int(90,ecologie_des_systemes). int(90,bacterie). int(90,graphe_interaction). int(90,metabolisme). ext(90,clemence). ext(90,marie). ext(90,anne). ext(90,meziane). 
concept(91).
int(91,python). int(91,sparql). int(91,asp). int(91,rdf). int(91,metabolisme). int(91,askomics). ext(91,olivier_dameron). ext(91,meziane). 
concept(92).
int(92,tf). int(92,graphe). int(92,biopax). int(92,orthocis). int(92,orthology). int(92,askomics). int(92,fair_data). int(92,rdf). ext(92,francois_moreews). specext(92,francois_moreews). 
concept(93).
specint(93,fair_data). int(93,fair_data). int(93,graphe). int(93,rdf). int(93,biopax). int(93,askomics). ext(93,olivier_dameron). ext(93,francois_moreews). 
concept(94).
specint(94,signature). int(94,graphe). int(94,asp). int(94,signature). int(94,rdf). int(94,metabolisme). int(94,askomics). ext(94,olivier_dameron). ext(94,anne). 
concept(95).
int(95,graphe). int(95,signature). int(95,graphe_interaction). int(95,metabolisme). int(95,askomics). int(95,ecologie_des_systemes). int(95,bacterie). int(95,rdf). int(95,asp). ext(95,anne). specext(95,anne). 
concept(96).
specint(96,orthocis). specint(96,orthology). int(96,tf). int(96,orthocis). int(96,orthology). ext(96,catherine). ext(96,francois_moreews). 
concept(97).
int(97,python). int(97,biopax). int(97,asp). int(97,signalisation). int(97,rdf). int(97,metabolisme). ext(97,olivier_dameron). ext(97,pierre_vignet). 
concept(98).
int(98,python). int(98,rdf). int(98,metabolisme). int(98,asp). ext(98,olivier_dameron). ext(98,pierre_vignet). ext(98,meziane). ext(98,lucas). 
concept(99).
int(99,optimisation). int(99,python). int(99,biopax). int(99,asp). int(99,signalisation). int(99,rdf). int(99,metabolisme). ext(99,pierre_vignet). specext(99,pierre_vignet). 
concept(100).
int(100,python). int(100,optimisation). int(100,rdf). int(100,metabolisme). int(100,asp). ext(100,pierre_vignet). ext(100,lucas). 
concept(101).
int(101,python). int(101,fca). ext(101,jeremy). ext(101,lucas). specext(101,jeremy). 
concept(102).
int(102,python). int(102,graphe). int(102,rdf). int(102,metabolisme). int(102,asp). ext(102,olivier_dameron). ext(102,lucas). 
concept(103).
int(103,python). int(103,graphe_interaction). int(103,rdf). int(103,metabolisme). int(103,asp). ext(103,meziane). ext(103,lucas). 
concept(104).
int(104,bacterie). int(104,ecologie_des_systemes). int(104,asp). int(104,graphe_interaction). int(104,metabolisme). int(104,askomics). ext(104,clemence). ext(104,anne). ext(104,meziane). 
concept(105).
int(105,bacterie). int(105,graphe). int(105,ecologie_des_systemes). int(105,asp). int(105,graphe_interaction). int(105,metabolisme). int(105,askomics). ext(105,clemence). ext(105,anne). 
concept(106).
int(106,bacterie). int(106,ecologie_des_systemes). int(106,asp). int(106,graphe_interaction). int(106,rdf). int(106,metabolisme). int(106,askomics). ext(106,anne). ext(106,meziane). 
concept(107).
int(107,bacterie). int(107,rdf). int(107,metabolisme). ext(107,anne). ext(107,jeanne). ext(107,meziane). 
concept(108).
int(108,asp). int(108,metabolisme). int(108,askomics). ext(108,olivier_dameron). ext(108,clemence). ext(108,anne). ext(108,meziane). 
concept(109).
int(109,asp). int(109,graphe). int(109,metabolisme). int(109,askomics). ext(109,olivier_dameron). ext(109,anne). ext(109,clemence). 
concept(110).
int(110,graphe). int(110,rdf). int(110,askomics). ext(110,olivier_dameron). ext(110,francois_moreews). ext(110,anne). 
concept(111).
int(111,asp). int(111,rdf). int(111,metabolisme). int(111,askomics). ext(111,olivier_dameron). ext(111,anne). ext(111,meziane). 

dyliss(lucas,clemence,(asp;metabolisme;graphe)).
dyliss(lucas,meziane,(asp;metabolisme)).
dyliss(lucas,nathalie,(tgfbeta;graphe_interaction;fca)).
dyliss(lucas,jacques,(asp;classification;optimisation;puceron;tgfbeta;graphe_interaction;fca)).
dyliss(lucas,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(jacques,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(lucas,olivier_dameron,(rdf;asp;python)).
dyliss(lucas,julie_laniau,asp).
dyliss(jeremy,lucas,fca).
dyliss(lucas,(sebastien_letord;sebastien_francois;meziane;pierre_vignet;jeremy),python).
dyliss(clemence,olivier_dameron,askomics).
dyliss(marie,jeanne,metabolisme).
dyliss(meziane,(arnaud;clemence;marie;jeanne),(metabolisme;biologie_marine)).
dyliss(meziane,(pierre_vignet;lucas),(python;asp)).
dyliss((olivier_dameron;meziane;xavier),(olivier_dameron;meziane;xavier),askomics).
dyliss(jeanne,francois_coste,classification).
dyliss(xavier,(meziane;marine;francois_coste;olivier_dameron),askomics).

dyliss(nathalie,(jacques;lucas),(fca;asp;graphe;tgfbeta)).
dyliss(nathalie,(pierre_vignet;olivier_dameron),(biopax;metabolisme;rdf)).
dyliss(nathalie,catherine,tf).
dyliss(nathalie,francois_coste,(signalisation;proteine)).
dyliss(nathalie,maxime,(graphe;biopax;tgfbeta)).
dyliss(nathalie,pierre_vignet,(signalisation;optimisation)).
dyliss(francois_moreews,catherine,(tf;orthocis;orthology)).
dyliss(francois_moreews,olivier_dameron,(biopax;askomics)).
dyliss(francois_moreews,anne,graphe).

dyliss(olivier_dameron,francois_coste,(correlation;gene_ontology)).
dyliss(olivier_dameron,denis,askomics).
dyliss(olivier_dameron,jacques,asp).
dyliss(olivier_dameron,anne,(metabolisme;signature;asp;askomics;rdf)).
dyliss(olivier_dameron,nathalie,(signalisation;matrice_extracell)).
dyliss(olivier_dameron,jeanne,rdf).
dyliss(olivier_dameron,francois_moreews,(biopax;rdf;fair_data)).
dyliss(olivier_dameron,denis,askomics).

dyliss(olivier_dameron,lucas,(asp;graphe)).
dyliss(olivier_dameron,(meziane;xavier),(rdf;sparql)).
dyliss(olivier_dameron,pierre_vignet,biopax).
dyliss(olivier_dameron,vijay,(sparql;requete_federe)).
dyliss(olivier_dameron,(marine;meline),askomics).
dyliss(olivier_dameron,meline,(graphe;correlation)).


dyliss(marie, olivier_dameron, metabolisme).
dyliss(marie, anne, metabolisme).
dyliss(marie, anne, bacterie).
dyliss(marie, anne, graphe_interaction).
dyliss(marie, anne, ecologie_des_systemes).
dyliss(marie, nathalie, ecologie_des_systemes).
dyliss(marie, jeanne, metabolisme).
dyliss(marie, jeanne, bacterie).

% % dyliss(marie, jeremie, metabolisme).
% % dyliss(marie, jeremie, ecologie des systemes).
% % dyliss(marie, damien, metabolisme).
% % dyliss(marie, damien, graphe_interaction).
% % dyliss(marie, damien, bacterie).
% % dyliss(marie, damien, ecologie des systemes).
dyliss(marie, denis, ecologie_des_systemes).
dyliss(marie, clemence, metabolisme).
dyliss(marie, clemence, bacterie).
dyliss(marie, clemence, graphe_interaction).
dyliss(marie, clemence, ecologie_des_systemes).
dyliss(marie, julie, metabolisme).
dyliss(marie, julie, graphe_interaction).
dyliss(marie, meziane, metabolisme).
dyliss(marie, meziane, bacterie).
dyliss(marie, meziane, graphe_interaction).
dyliss(marie, meziane, ecologie_des_systemes).
dyliss(marie, camille, metabolisme).
dyliss(marie, camille, bacterie).
dyliss(marie, camille, graphe_interaction).
dyliss(marie, pierre, metabolisme).

dyliss(francois_coste,juliette,(correlations;grammaires;proteine;enzymes;transporteurs;apprentissage)).
dyliss(francois_coste,arnaud,(plma;enzymes;visu3D;classification)).
dyliss(francois_coste,clemence,transporteurs).
dyliss(francois_coste,jeanne,enzymes).
dyliss(francois_coste,catherine,grammaires).
dyliss(francois_coste,olivier_dameron,gene_ontology).
dyliss(francois_coste,nathalie,adam).
% % dyliss(francois_coste,_,python).

% dyliss(maxime,(nathalie;anne),(biopax;tgfbeta;graphe)).
% dyliss(maxime,pierre_vignet,biopax).
% dyliss(maxime,clemence,(asp;metabolisme;interpretation_abstraite;optimisation)).


% dyliss(mael,arnaud,(python;java)).
% dyliss(mael,arnaud,meziane,(biologie_marine;metabolisme)).
% dyliss(mael,anne,nathalie,(graphe;enzymes;metabolisme)).
% dyliss(mael,anne,nathalie,expression).
% dyliss(mael,anne,xavier,askomics).

% dyliss(juliette,arnaud,(visu3D;alignement)).
% dyliss(juliette,meline,r).

% dyliss(meline,anne,olivier_dameron,(signature;sante;graphe;fca)).
% dyliss(marine,anne,olivier_dameron,(tf;askomics)).

% dyliss(arnaud,(anne;jeanne;jacques;francois_coste;juliette),classification).
% dyliss(arnaud,(anne;meziane;clemence;jeanne),(metabolisme;algue)).
% dyliss(arnaud,anne,jacques,asp).
% dyliss(arnaud,mael,(biologie_marine;metabolisme)).
% dyliss(catherine,catherine,arn).


% undirected graph.
dyliss(A,B,S):- dyliss(B,A,S).

% triplets of human
dyliss(A,B,S):- dyliss(A,B,_,S).
dyliss(A,C,S):- dyliss(A,_,C,S).
dyliss(B,C,S):- dyliss(_,B,C,S).

% implications.
dyliss(A,B,rdf):- dyliss(A,B,sparql).

% every humans.
human(A):- dyliss(A,_,_).


% subjects for particular human.
% sujet(lucas,(asp;classification;optimisation;graphe_interaction;fca;python)).

%link(A,B):- dyliss(A,B,_).%color(A,B,green):- dyliss(A,B,_).

rel(A,S):- dyliss(A,_,S).
















dyliss(lucas,clemence,(asp;metabolisme;graphe)).
dyliss(lucas,meziane,(asp;metabolisme)).
dyliss(lucas,nathalie,(tgfbeta;graphe_interaction;fca)).
dyliss(lucas,jacques,(asp;classification;optimisation;puceron;tgfbeta;graphe_interaction;fca)).
dyliss(lucas,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(jacques,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(lucas,olivier_dameron,(rdf;asp;python)).
dyliss(lucas,julie_laniau,asp).
dyliss(jeremy,lucas,fca).
dyliss(lucas,(sebastien_letord;sebastien_francois;meziane;pierre_vignet;jeremy),python).
dyliss(clemence,olivier_dameron,askomics).
dyliss(marie,jeanne,metabolisme).
dyliss(meziane,(arnaud;clemence;marie;jeanne),(metabolisme;biologie_marine)).
dyliss(meziane,(pierre_vignet;lucas),(python;asp)).
dyliss((olivier_dameron;meziane;xavier),(olivier_dameron;meziane;xavier),askomics).
dyliss(jeanne,francois_coste,classification).
dyliss(xavier,(meziane;marine;francois_coste;olivier_dameron),askomics).

dyliss(nathalie,(jacques;lucas),(fca;asp;graphe;tgfbeta)).
dyliss(nathalie,(pierre_vignet;olivier_dameron),(biopax;metabolisme;rdf)).
dyliss(nathalie,catherine,tf).
dyliss(nathalie,francois_coste,(signalisation;proteine)).
dyliss(nathalie,maxime,(graphe;biopax;tgfbeta)).
dyliss(nathalie,pierre_vignet,(signalisation;optimisation)).
dyliss(francois_moreews,catherine,(tf;orthocis;orthology)).
dyliss(francois_moreews,olivier_dameron,(biopax;askomics)).
dyliss(francois_moreews,anne,graphe).

dyliss(olivier_dameron,francois_coste,(correlation;gene_ontology)).
dyliss(olivier_dameron,denis,askomics).
dyliss(olivier_dameron,jacques,asp).
dyliss(olivier_dameron,anne,(metabolisme;signature;asp;askomics;rdf)).
dyliss(olivier_dameron,nathalie,(signalisation;matrice_extracell)).
dyliss(olivier_dameron,jeanne,rdf).
dyliss(olivier_dameron,francois_moreews,(biopax;rdf;fair_data)).
dyliss(olivier_dameron,denis,askomics).

dyliss(olivier_dameron,lucas,(asp;graphe)).
dyliss(olivier_dameron,(meziane;xavier),(rdf;sparql)).
dyliss(olivier_dameron,pierre_vignet,biopax).
dyliss(olivier_dameron,vijay,(sparql;requete_federe)).
dyliss(olivier_dameron,(marine;meline),askomics).
dyliss(olivier_dameron,meline,(graphe;correlation)).


dyliss(marie, olivier_dameron, metabolisme).
dyliss(marie, anne, metabolisme).
dyliss(marie, anne, bacterie).
dyliss(marie, anne, graphe_interaction).
dyliss(marie, anne, ecologie_des_systemes).
dyliss(marie, nathalie, ecologie_des_systemes).
dyliss(marie, jeanne, metabolisme).
dyliss(marie, jeanne, bacterie).

% % dyliss(marie, jeremie, metabolisme).
% % dyliss(marie, jeremie, ecologie des systemes).
% % dyliss(marie, damien, metabolisme).
% % dyliss(marie, damien, graphe_interaction).
% % dyliss(marie, damien, bacterie).
% % dyliss(marie, damien, ecologie des systemes).
dyliss(marie, denis, ecologie_des_systemes).
dyliss(marie, clemence, metabolisme).
dyliss(marie, clemence, bacterie).
dyliss(marie, clemence, graphe_interaction).
dyliss(marie, clemence, ecologie_des_systemes).
dyliss(marie, julie, metabolisme).
dyliss(marie, julie, graphe_interaction).
dyliss(marie, meziane, metabolisme).
dyliss(marie, meziane, bacterie).
dyliss(marie, meziane, graphe_interaction).
dyliss(marie, meziane, ecologie_des_systemes).
dyliss(marie, camille, metabolisme).
dyliss(marie, camille, bacterie).
dyliss(marie, camille, graphe_interaction).
dyliss(marie, pierre, metabolisme).

dyliss(francois_coste,juliette,(correlations;grammaires;proteine;enzymes;transporteurs;apprentissage)).
dyliss(francois_coste,arnaud,(plma;enzymes;visu3D;classification)).
dyliss(francois_coste,clemence,transporteurs).
dyliss(francois_coste,jeanne,enzymes).
dyliss(francois_coste,catherine,grammaires).
dyliss(francois_coste,olivier_dameron,gene_ontology).
dyliss(francois_coste,nathalie,adam).
% % dyliss(francois_coste,_,python).

% dyliss(maxime,(nathalie;anne),(biopax;tgfbeta;graphe)).
% dyliss(maxime,pierre_vignet,biopax).
% dyliss(maxime,clemence,(asp;metabolisme;interpretation_abstraite;optimisation)).


% dyliss(mael,arnaud,(python;java)).
% dyliss(mael,arnaud,meziane,(biologie_marine;metabolisme)).
% dyliss(mael,anne,nathalie,(graphe;enzymes;metabolisme)).
% dyliss(mael,anne,nathalie,expression).
% dyliss(mael,anne,xavier,askomics).

% dyliss(juliette,arnaud,(visu3D;alignement)).
% dyliss(juliette,meline,r).

% dyliss(meline,anne,olivier_dameron,(signature;sante;graphe;fca)).
% dyliss(marine,anne,olivier_dameron,(tf;askomics)).

% dyliss(arnaud,(anne;jeanne;jacques;francois_coste;juliette),classification).
% dyliss(arnaud,(anne;meziane;clemence;jeanne),(metabolisme;algue)).
% dyliss(arnaud,anne,jacques,asp).
% dyliss(arnaud,mael,(biologie_marine;metabolisme)).
% dyliss(catherine,catherine,arn).


% undirected graph.
dyliss(A,B,S):- dyliss(B,A,S).

% triplets of human
dyliss(A,B,S):- dyliss(A,B,_,S).
dyliss(A,C,S):- dyliss(A,_,C,S).
dyliss(B,C,S):- dyliss(_,B,C,S).

% implications.
dyliss(A,B,rdf):- dyliss(A,B,sparql).

% every humans.
human(A):- dyliss(A,_,_).


% subjects for particular human.
% sujet(lucas,(asp;classification;optimisation;graphe_interaction;fca;python)).

% Generate the concept lattice of an input context.
%
% INPUT:
%   - ext(N,X):- object X is in extent of concept N.
%   - int(N,Y):- attribute X is in intent of concept N.
%   - concept(N):- N is the unique id of a concept.
% OUTPUT (one model == one concept):
%   - smaller(C,D):- concept C is smaller than concept D
%   - under(C,D):- concept C is the biggest smaller than concept D


% Ordering of two concepts.
smaller(C1,C2):- concept(C1) ; concept(C2) ; C1!=C2 ; ext(C1,X): ext(C2,X).

% C1 is under C2 if there is no concepts between them.
under(C1,C3):- smaller(C1,C3) ; not concept(C2): smaller(C1,C2) , smaller(C2,C3).
concept(0).
int(0,asp). int(0,graphe). int(0,rdf). int(0,metabolisme). ext(0,olivier_dameron). ext(0,anne). ext(0,nathalie). ext(0,lucas). 
concept(1).
specint(1,matrice_extracell). int(1,graphe). int(1,matrice_extracell). int(1,biopax). int(1,asp). int(1,signalisation). int(1,rdf). int(1,metabolisme). ext(1,olivier_dameron). ext(1,nathalie). 
concept(2).
int(2,asp). int(2,rdf). int(2,metabolisme). ext(2,olivier_dameron). ext(2,pierre_vignet). ext(2,anne). ext(2,meziane). ext(2,nathalie). ext(2,lucas). 
concept(3).
int(3,rdf). int(3,metabolisme). ext(3,olivier_dameron). ext(3,pierre_vignet). ext(3,anne). ext(3,meziane). ext(3,nathalie). ext(3,jeanne). ext(3,lucas). 
concept(4).
int(4,asp). int(4,biopax). int(4,signalisation). int(4,rdf). int(4,metabolisme). ext(4,olivier_dameron). ext(4,pierre_vignet). ext(4,nathalie). 
concept(5).
specint(5,metabolisme). int(5,metabolisme). ext(5,olivier_dameron). ext(5,pierre_vignet). ext(5,clemence). ext(5,arnaud). ext(5,lucas). ext(5,pierre). ext(5,julie). ext(5,anne). ext(5,meziane). ext(5,camille). ext(5,jeanne). ext(5,marie). ext(5,nathalie). specext(5,pierre). 
concept(6).
int(6,asp). int(6,graphe). int(6,metabolisme). ext(6,olivier_dameron). ext(6,anne). ext(6,clemence). ext(6,nathalie). ext(6,lucas). 
concept(7).
int(7,asp). int(7,metabolisme). ext(7,olivier_dameron). ext(7,pierre_vignet). ext(7,clemence). ext(7,anne). ext(7,meziane). ext(7,nathalie). ext(7,lucas). 
concept(8).
int(8,graphe). int(8,rdf). int(8,biopax). ext(8,olivier_dameron). ext(8,francois_moreews). ext(8,nathalie). 
concept(9).
int(9,rdf). int(9,biopax). ext(9,olivier_dameron). ext(9,pierre_vignet). ext(9,francois_moreews). ext(9,nathalie). 
concept(10).
int(10,graphe). int(10,biopax). ext(10,olivier_dameron). ext(10,francois_moreews). ext(10,maxime). ext(10,nathalie). 
concept(11).
specint(11,biopax). int(11,biopax). ext(11,olivier_dameron). ext(11,pierre_vignet). ext(11,francois_moreews). ext(11,maxime). ext(11,nathalie). 
concept(12).
int(12,graphe). int(12,rdf). ext(12,olivier_dameron). ext(12,francois_moreews). ext(12,anne). ext(12,nathalie). ext(12,lucas). 
concept(13).
specint(13,rdf). int(13,rdf). ext(13,olivier_dameron). ext(13,pierre_vignet). ext(13,vijay). ext(13,lucas). ext(13,anne). ext(13,meziane). ext(13,xavier). ext(13,francois_moreews). ext(13,jeanne). ext(13,nathalie). 
concept(14).
ext(14,olivier_dameron). ext(14,pierre_vignet). ext(14,clemence). ext(14,maxime). ext(14,lucas). ext(14,pierre). ext(14,julie_laniau). ext(14,meziane). ext(14,xavier). ext(14,francois_moreews). ext(14,camille). ext(14,sebastien_letord). ext(14,marie). ext(14,sebastien_francois). ext(14,meline). ext(14,marine). ext(14,francois_coste). ext(14,arnaud). ext(14,vijay). ext(14,jacques). ext(14,julie). ext(14,anne). ext(14,catherine). ext(14,juliette). ext(14,jeremy). ext(14,denis). ext(14,jeanne). ext(14,nathalie). 
concept(15).
specint(15,signalisation). int(15,signalisation). ext(15,olivier_dameron). ext(15,pierre_vignet). ext(15,francois_coste). ext(15,nathalie). 
concept(16).
specint(16,asp). int(16,asp). ext(16,olivier_dameron). ext(16,pierre_vignet). ext(16,clemence). ext(16,lucas). ext(16,jacques). ext(16,julie_laniau). ext(16,anne). ext(16,meziane). ext(16,nathalie). specext(16,julie_laniau). 
concept(17).
specint(17,graphe). int(17,graphe). ext(17,olivier_dameron). ext(17,meline). ext(17,clemence). ext(17,lucas). ext(17,jacques). ext(17,anne). ext(17,francois_moreews). ext(17,maxime). ext(17,nathalie). 
concept(18).
int(18,graphe). int(18,asp). ext(18,olivier_dameron). ext(18,jacques). ext(18,clemence). ext(18,anne). ext(18,nathalie). ext(18,lucas). 
concept(19).
int(19,optimisation). int(19,biopax). int(19,asp). int(19,signalisation). int(19,rdf). int(19,metabolisme). ext(19,pierre_vignet). ext(19,nathalie). 
concept(20).
int(20,tf). int(20,graphe). int(20,rdf). int(20,biopax). ext(20,francois_moreews). ext(20,nathalie). 
concept(21).
int(21,graphe). int(21,ecologie_des_systemes). int(21,graphe_interaction). int(21,rdf). int(21,metabolisme). int(21,asp). ext(21,anne). ext(21,nathalie). 
concept(22).
int(22,ecologie_des_systemes). int(22,graphe_interaction). int(22,rdf). int(22,metabolisme). int(22,asp). ext(22,anne). ext(22,meziane). ext(22,nathalie). 
concept(23).
int(23,optimisation). int(23,graphe). int(23,tgfbeta). int(23,graphe_interaction). int(23,metabolisme). int(23,fca). int(23,rdf). int(23,asp). ext(23,nathalie). ext(23,lucas). 
concept(24).
int(24,asp). int(24,optimisation). int(24,rdf). int(24,metabolisme). ext(24,pierre_vignet). ext(24,nathalie). ext(24,lucas). 
concept(25).
int(25,asp). int(25,graphe_interaction). int(25,graphe). int(25,rdf). int(25,metabolisme). ext(25,anne). ext(25,nathalie). ext(25,lucas). 
concept(26).
int(26,asp). int(26,graphe_interaction). int(26,rdf). int(26,metabolisme). ext(26,anne). ext(26,meziane). ext(26,nathalie). ext(26,lucas). 
concept(27).
int(27,tgfbeta). int(27,graphe). int(27,biopax). ext(27,maxime). ext(27,nathalie). specext(27,maxime). 
concept(28).
specint(28,tf). int(28,tf). ext(28,catherine). ext(28,francois_moreews). ext(28,nathalie). 
concept(29).
specint(29,adam). int(29,adam). int(29,proteine). int(29,signalisation). ext(29,francois_coste). ext(29,nathalie). 
concept(30).
specint(30,proteine). int(30,proteine). ext(30,francois_coste). ext(30,juliette). ext(30,nathalie). 
concept(31).
int(31,optimisation). int(31,fca). int(31,graphe). int(31,tgfbeta). int(31,graphe_interaction). int(31,asp). ext(31,jacques). ext(31,nathalie). ext(31,lucas). 
concept(32).
int(32,ecologie_des_systemes). int(32,fca). int(32,graphe_interaction). ext(32,denis). ext(32,nathalie). 
concept(33).
specint(33,fca). int(33,fca). ext(33,jeremy). ext(33,denis). ext(33,jacques). ext(33,nathalie). ext(33,lucas). 
concept(34).
int(34,fca). int(34,graphe_interaction). ext(34,jacques). ext(34,denis). ext(34,nathalie). ext(34,lucas). 
concept(35).
specint(35,tgfbeta). int(35,tgfbeta). int(35,graphe). ext(35,jacques). ext(35,maxime). ext(35,nathalie). ext(35,lucas). 
concept(36).
specint(36,optimisation). int(36,optimisation). int(36,asp). ext(36,jacques). ext(36,pierre_vignet). ext(36,nathalie). ext(36,lucas). 
concept(37).
specint(37,ecologie_des_systemes). int(37,ecologie_des_systemes). int(37,graphe_interaction). ext(37,clemence). ext(37,anne). ext(37,meziane). ext(37,denis). ext(37,marie). ext(37,nathalie). 
concept(38).
int(38,ecologie_des_systemes). int(38,graphe_interaction). int(38,metabolisme). ext(38,clemence). ext(38,marie). ext(38,anne). ext(38,meziane). ext(38,nathalie). 
concept(39).
int(39,ecologie_des_systemes). int(39,graphe_interaction). int(39,metabolisme). int(39,asp). ext(39,clemence). ext(39,anne). ext(39,meziane). ext(39,nathalie). 
concept(40).
int(40,ecologie_des_systemes). int(40,graphe_interaction). int(40,graphe). int(40,metabolisme). int(40,asp). ext(40,clemence). ext(40,anne). ext(40,nathalie). 
concept(41).
specint(41,graphe_interaction). int(41,graphe_interaction). ext(41,clemence). ext(41,lucas). ext(41,jacques). ext(41,julie). ext(41,anne). ext(41,meziane). ext(41,denis). ext(41,camille). ext(41,marie). ext(41,nathalie). 
concept(42).
int(42,graphe_interaction). int(42,metabolisme). ext(42,clemence). ext(42,lucas). ext(42,julie). ext(42,anne). ext(42,meziane). ext(42,camille). ext(42,marie). ext(42,nathalie). specext(42,julie). 
concept(43).
int(43,graphe_interaction). int(43,asp). ext(43,jacques). ext(43,clemence). ext(43,anne). ext(43,meziane). ext(43,nathalie). ext(43,lucas). 
concept(44).
int(44,graphe_interaction). int(44,graphe). int(44,asp). ext(44,jacques). ext(44,anne). ext(44,clemence). ext(44,nathalie). ext(44,lucas). 
concept(45).
int(45,asp). int(45,graphe_interaction). int(45,metabolisme). ext(45,clemence). ext(45,anne). ext(45,meziane). ext(45,nathalie). ext(45,lucas). 
concept(46).
int(46,asp). int(46,graphe_interaction). int(46,graphe). int(46,metabolisme). ext(46,clemence). ext(46,anne). ext(46,nathalie). ext(46,lucas). 
concept(47).
int(47,optimisation). int(47,tf). int(47,graphe). int(47,biopax). int(47,adam). int(47,tgfbeta). int(47,proteine). int(47,signalisation). int(47,graphe_interaction). int(47,metabolisme). int(47,fca). int(47,matrice_extracell). int(47,ecologie_des_systemes). int(47,rdf). int(47,asp). ext(47,nathalie). specext(47,nathalie). 
concept(48).
int(48,optimisation). int(48,correlations). int(48,signalisation). int(48,puceron). int(48,python). int(48,matrice_extracell). int(48,fair_data). int(48,bacterie). int(48,tf). int(48,graphe). int(48,signature). int(48,proteine). int(48,graphe_interaction). int(48,metabolisme). int(48,grammaires). int(48,classification). int(48,ecologie_des_systemes). int(48,correlation). int(48,enzymes). int(48,apprentissage). int(48,gene_ontology). int(48,asp). int(48,visu3D). int(48,orthocis). int(48,plma). int(48,sparql). int(48,biopax). int(48,biologie_marine). int(48,adam). int(48,tgfbeta). int(48,transporteurs). int(48,orthology). int(48,askomics). int(48,fca). int(48,requete_federe). int(48,rdf). 
concept(49).
int(49,correlations). int(49,visu3D). int(49,enzymes). int(49,adam). int(49,transporteurs). int(49,signalisation). int(49,proteine). int(49,askomics). int(49,grammaires). int(49,classification). int(49,plma). int(49,correlation). int(49,apprentissage). int(49,gene_ontology). ext(49,francois_coste). specext(49,francois_coste). 
concept(50).
specint(50,apprentissage). specint(50,correlations). int(50,grammaires). int(50,proteine). int(50,enzymes). int(50,correlations). int(50,transporteurs). int(50,apprentissage). ext(50,juliette). ext(50,francois_coste). specext(50,juliette). 
concept(51).
int(51,optimisation). int(51,graphe). int(51,tgfbeta). int(51,graphe_interaction). int(51,puceron). int(51,fca). int(51,classification). int(51,asp). ext(51,jacques). ext(51,lucas). specext(51,jacques). 
concept(52).
int(52,optimisation). int(52,graphe). int(52,tgfbeta). int(52,graphe_interaction). int(52,puceron). int(52,metabolisme). int(52,python). int(52,fca). int(52,classification). int(52,rdf). int(52,asp). ext(52,lucas). specext(52,lucas). 
concept(53).
int(53,classification). int(53,biologie_marine). int(53,visu3D). int(53,plma). int(53,enzymes). int(53,metabolisme). ext(53,arnaud). specext(53,arnaud). 
concept(54).
specint(54,plma). specint(54,visu3D). int(54,plma). int(54,enzymes). int(54,classification). int(54,visu3D). ext(54,arnaud). ext(54,francois_coste). 
concept(55).
int(55,biologie_marine). int(55,enzymes). int(55,classification). int(55,metabolisme). ext(55,jeanne). ext(55,arnaud). 
concept(56).
int(56,enzymes). int(56,classification). ext(56,jeanne). ext(56,arnaud). ext(56,francois_coste). 
concept(57).
specint(57,enzymes). int(57,enzymes). ext(57,jeanne). ext(57,juliette). ext(57,arnaud). ext(57,francois_coste). 
concept(58).
int(58,bacterie). int(58,classification). int(58,biologie_marine). int(58,enzymes). int(58,rdf). int(58,metabolisme). ext(58,jeanne). specext(58,jeanne). 
concept(59).
specint(59,askomics). int(59,askomics). ext(59,olivier_dameron). ext(59,meline). ext(59,clemence). ext(59,marine). ext(59,francois_coste). ext(59,anne). ext(59,meziane). ext(59,xavier). ext(59,francois_moreews). ext(59,denis). specext(59,marine). 
concept(60).
specint(60,correlation). int(60,correlation). int(60,askomics). ext(60,olivier_dameron). ext(60,meline). ext(60,francois_coste). 
concept(61).
int(61,correlation). int(61,graphe). int(61,askomics). ext(61,olivier_dameron). ext(61,meline). specext(61,meline). 
concept(62).
int(62,graphe). int(62,askomics). ext(62,olivier_dameron). ext(62,francois_moreews). ext(62,anne). ext(62,clemence). ext(62,meline). 
concept(63).
specint(63,puceron). int(63,fca). int(63,classification). int(63,graphe_interaction). int(63,puceron). ext(63,jacques). ext(63,denis). ext(63,lucas). 
concept(64).
int(64,fca). int(64,classification). int(64,ecologie_des_systemes). int(64,graphe_interaction). int(64,puceron). int(64,askomics). ext(64,denis). specext(64,denis). 
concept(65).
specint(65,classification). int(65,classification). ext(65,jacques). ext(65,francois_coste). ext(65,jeanne). ext(65,denis). ext(65,arnaud). ext(65,lucas). 
concept(66).
int(66,classification). int(66,askomics). ext(66,denis). ext(66,francois_coste). 
concept(67).
int(67,ecologie_des_systemes). int(67,graphe_interaction). int(67,askomics). ext(67,clemence). ext(67,denis). ext(67,anne). ext(67,meziane). 
concept(68).
int(68,classification). int(68,metabolisme). ext(68,jeanne). ext(68,arnaud). ext(68,lucas). 
concept(69).
int(69,rdf). int(69,classification). int(69,metabolisme). ext(69,jeanne). ext(69,lucas). 
concept(70).
int(70,graphe). int(70,sparql). int(70,biopax). int(70,signature). int(70,signalisation). int(70,metabolisme). int(70,askomics). int(70,python). int(70,matrice_extracell). int(70,correlation). int(70,requete_federe). int(70,fair_data). int(70,gene_ontology). int(70,rdf). int(70,asp). ext(70,olivier_dameron). specext(70,olivier_dameron). 
concept(71).
specint(71,gene_ontology). int(71,correlation). int(71,signalisation). int(71,gene_ontology). int(71,askomics). ext(71,olivier_dameron). ext(71,francois_coste). 
concept(72).
int(72,grammaires). int(72,orthocis). int(72,orthology). int(72,tf). ext(72,catherine). specext(72,catherine). 
concept(73).
specint(73,grammaires). int(73,grammaires). ext(73,catherine). ext(73,juliette). ext(73,francois_coste). 
concept(74).
specint(74,sparql). int(74,rdf). int(74,sparql). ext(74,olivier_dameron). ext(74,meziane). ext(74,vijay). ext(74,xavier). 
concept(75).
int(75,rdf). int(75,sparql). int(75,askomics). ext(75,olivier_dameron). ext(75,meziane). ext(75,xavier). specext(75,xavier). 
concept(76).
int(76,rdf). int(76,askomics). ext(76,olivier_dameron). ext(76,francois_moreews). ext(76,anne). ext(76,meziane). ext(76,xavier). 
concept(77).
int(77,graphe). int(77,biologie_marine). int(77,transporteurs). int(77,graphe_interaction). int(77,metabolisme). int(77,askomics). int(77,ecologie_des_systemes). int(77,bacterie). int(77,asp). ext(77,clemence). specext(77,clemence). 
concept(78).
specint(78,transporteurs). int(78,transporteurs). ext(78,clemence). ext(78,juliette). ext(78,francois_coste). 
concept(79).
int(79,transporteurs). int(79,askomics). ext(79,clemence). ext(79,francois_coste). 
concept(80).
specint(80,bacterie). int(80,bacterie). int(80,metabolisme). ext(80,clemence). ext(80,anne). ext(80,meziane). ext(80,camille). ext(80,jeanne). ext(80,marie). 
concept(81).
int(81,bacterie). int(81,graphe_interaction). int(81,metabolisme). ext(81,clemence). ext(81,marie). ext(81,camille). ext(81,meziane). ext(81,anne). specext(81,camille). 
concept(82).
int(82,biologie_marine). int(82,bacterie). int(82,metabolisme). ext(82,marie). ext(82,clemence). ext(82,jeanne). ext(82,meziane). 
concept(83).
int(83,ecologie_des_systemes). int(83,biologie_marine). int(83,bacterie). int(83,graphe_interaction). int(83,metabolisme). ext(83,marie). ext(83,clemence). ext(83,meziane). specext(83,marie). 
concept(84).
int(84,sparql). int(84,biologie_marine). int(84,graphe_interaction). int(84,metabolisme). int(84,askomics). int(84,python). int(84,ecologie_des_systemes). int(84,bacterie). int(84,rdf). int(84,asp). ext(84,meziane). specext(84,meziane). 
concept(85).
int(85,bacterie). int(85,biologie_marine). int(85,ecologie_des_systemes). int(85,asp). int(85,graphe_interaction). int(85,metabolisme). int(85,askomics). ext(85,clemence). ext(85,meziane). 
concept(86).
int(86,biologie_marine). int(86,bacterie). int(86,rdf). int(86,metabolisme). ext(86,jeanne). ext(86,meziane). 
concept(87).
specint(87,biologie_marine). int(87,biologie_marine). int(87,metabolisme). ext(87,jeanne). ext(87,marie). ext(87,clemence). ext(87,arnaud). ext(87,meziane). 
concept(88).
specint(88,requete_federe). int(88,requete_federe). int(88,rdf). int(88,sparql). ext(88,olivier_dameron). ext(88,vijay). specext(88,vijay). 
concept(89).
specint(89,python). int(89,python). ext(89,olivier_dameron). ext(89,pierre_vignet). ext(89,meziane). ext(89,jeremy). ext(89,sebastien_letord). ext(89,sebastien_francois). ext(89,lucas). specext(89,sebastien_letord). specext(89,sebastien_francois). 
concept(90).
int(90,ecologie_des_systemes). int(90,bacterie). int(90,graphe_interaction). int(90,metabolisme). ext(90,clemence). ext(90,marie). ext(90,anne). ext(90,meziane). 
concept(91).
int(91,python). int(91,sparql). int(91,asp). int(91,rdf). int(91,metabolisme). int(91,askomics). ext(91,olivier_dameron). ext(91,meziane). 
concept(92).
int(92,tf). int(92,graphe). int(92,biopax). int(92,orthocis). int(92,orthology). int(92,askomics). int(92,fair_data). int(92,rdf). ext(92,francois_moreews). specext(92,francois_moreews). 
concept(93).
specint(93,fair_data). int(93,fair_data). int(93,graphe). int(93,rdf). int(93,biopax). int(93,askomics). ext(93,olivier_dameron). ext(93,francois_moreews). 
concept(94).
specint(94,signature). int(94,graphe). int(94,asp). int(94,signature). int(94,rdf). int(94,metabolisme). int(94,askomics). ext(94,olivier_dameron). ext(94,anne). 
concept(95).
int(95,graphe). int(95,signature). int(95,graphe_interaction). int(95,metabolisme). int(95,askomics). int(95,ecologie_des_systemes). int(95,bacterie). int(95,rdf). int(95,asp). ext(95,anne). specext(95,anne). 
concept(96).
specint(96,orthocis). specint(96,orthology). int(96,tf). int(96,orthocis). int(96,orthology). ext(96,catherine). ext(96,francois_moreews). 
concept(97).
int(97,python). int(97,biopax). int(97,asp). int(97,signalisation). int(97,rdf). int(97,metabolisme). ext(97,olivier_dameron). ext(97,pierre_vignet). 
concept(98).
int(98,python). int(98,rdf). int(98,metabolisme). int(98,asp). ext(98,olivier_dameron). ext(98,pierre_vignet). ext(98,meziane). ext(98,lucas). 
concept(99).
int(99,optimisation). int(99,python). int(99,biopax). int(99,asp). int(99,signalisation). int(99,rdf). int(99,metabolisme). ext(99,pierre_vignet). specext(99,pierre_vignet). 
concept(100).
int(100,python). int(100,optimisation). int(100,rdf). int(100,metabolisme). int(100,asp). ext(100,pierre_vignet). ext(100,lucas). 
concept(101).
int(101,python). int(101,fca). ext(101,jeremy). ext(101,lucas). specext(101,jeremy). 
concept(102).
int(102,python). int(102,graphe). int(102,rdf). int(102,metabolisme). int(102,asp). ext(102,olivier_dameron). ext(102,lucas). 
concept(103).
int(103,python). int(103,graphe_interaction). int(103,rdf). int(103,metabolisme). int(103,asp). ext(103,meziane). ext(103,lucas). 
concept(104).
int(104,bacterie). int(104,ecologie_des_systemes). int(104,asp). int(104,graphe_interaction). int(104,metabolisme). int(104,askomics). ext(104,clemence). ext(104,anne). ext(104,meziane). 
concept(105).
int(105,bacterie). int(105,graphe). int(105,ecologie_des_systemes). int(105,asp). int(105,graphe_interaction). int(105,metabolisme). int(105,askomics). ext(105,clemence). ext(105,anne). 
concept(106).
int(106,bacterie). int(106,ecologie_des_systemes). int(106,asp). int(106,graphe_interaction). int(106,rdf). int(106,metabolisme). int(106,askomics). ext(106,anne). ext(106,meziane). 
concept(107).
int(107,bacterie). int(107,rdf). int(107,metabolisme). ext(107,anne). ext(107,jeanne). ext(107,meziane). 
concept(108).
int(108,asp). int(108,metabolisme). int(108,askomics). ext(108,olivier_dameron). ext(108,clemence). ext(108,anne). ext(108,meziane). 
concept(109).
int(109,asp). int(109,graphe). int(109,metabolisme). int(109,askomics). ext(109,olivier_dameron). ext(109,anne). ext(109,clemence). 
concept(110).
int(110,graphe). int(110,rdf). int(110,askomics). ext(110,olivier_dameron). ext(110,francois_moreews). ext(110,anne). 
concept(111).
int(111,asp). int(111,rdf). int(111,metabolisme). int(111,askomics). ext(111,olivier_dameron). ext(111,anne). ext(111,meziane). 

dyliss(lucas,clemence,(asp;metabolisme;graphe)).
dyliss(lucas,meziane,(asp;metabolisme)).
dyliss(lucas,nathalie,(tgfbeta;graphe_interaction;fca)).
dyliss(lucas,jacques,(asp;classification;optimisation;puceron;tgfbeta;graphe_interaction;fca)).
dyliss(lucas,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(jacques,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(lucas,olivier_dameron,(rdf;asp;python)).
dyliss(lucas,julie_laniau,asp).
dyliss(jeremy,lucas,fca).
dyliss(lucas,(sebastien_letord;sebastien_francois;meziane;pierre_vignet;jeremy),python).
dyliss(clemence,olivier_dameron,askomics).
dyliss(marie,jeanne,metabolisme).
dyliss(meziane,(arnaud;clemence;marie;jeanne),(metabolisme;biologie_marine)).
dyliss(meziane,(pierre_vignet;lucas),(python;asp)).
dyliss((olivier_dameron;meziane;xavier),(olivier_dameron;meziane;xavier),askomics).
dyliss(jeanne,francois_coste,classification).
dyliss(xavier,(meziane;marine;francois_coste;olivier_dameron),askomics).

dyliss(nathalie,(jacques;lucas),(fca;asp;graphe;tgfbeta)).
dyliss(nathalie,(pierre_vignet;olivier_dameron),(biopax;metabolisme;rdf)).
dyliss(nathalie,catherine,tf).
dyliss(nathalie,francois_coste,(signalisation;proteine)).
dyliss(nathalie,maxime,(graphe;biopax;tgfbeta)).
dyliss(nathalie,pierre_vignet,(signalisation;optimisation)).
dyliss(francois_moreews,catherine,(tf;orthocis;orthology)).
dyliss(francois_moreews,olivier_dameron,(biopax;askomics)).
dyliss(francois_moreews,anne,graphe).

dyliss(olivier_dameron,francois_coste,(correlation;gene_ontology)).
dyliss(olivier_dameron,denis,askomics).
dyliss(olivier_dameron,jacques,asp).
dyliss(olivier_dameron,anne,(metabolisme;signature;asp;askomics;rdf)).
dyliss(olivier_dameron,nathalie,(signalisation;matrice_extracell)).
dyliss(olivier_dameron,jeanne,rdf).
dyliss(olivier_dameron,francois_moreews,(biopax;rdf;fair_data)).
dyliss(olivier_dameron,denis,askomics).

dyliss(olivier_dameron,lucas,(asp;graphe)).
dyliss(olivier_dameron,(meziane;xavier),(rdf;sparql)).
dyliss(olivier_dameron,pierre_vignet,biopax).
dyliss(olivier_dameron,vijay,(sparql;requete_federe)).
dyliss(olivier_dameron,(marine;meline),askomics).
dyliss(olivier_dameron,meline,(graphe;correlation)).


dyliss(marie, olivier_dameron, metabolisme).
dyliss(marie, anne, metabolisme).
dyliss(marie, anne, bacterie).
dyliss(marie, anne, graphe_interaction).
dyliss(marie, anne, ecologie_des_systemes).
dyliss(marie, nathalie, ecologie_des_systemes).
dyliss(marie, jeanne, metabolisme).
dyliss(marie, jeanne, bacterie).

% % dyliss(marie, jeremie, metabolisme).
% % dyliss(marie, jeremie, ecologie des systemes).
% % dyliss(marie, damien, metabolisme).
% % dyliss(marie, damien, graphe_interaction).
% % dyliss(marie, damien, bacterie).
% % dyliss(marie, damien, ecologie des systemes).
dyliss(marie, denis, ecologie_des_systemes).
dyliss(marie, clemence, metabolisme).
dyliss(marie, clemence, bacterie).
dyliss(marie, clemence, graphe_interaction).
dyliss(marie, clemence, ecologie_des_systemes).
dyliss(marie, julie, metabolisme).
dyliss(marie, julie, graphe_interaction).
dyliss(marie, meziane, metabolisme).
dyliss(marie, meziane, bacterie).
dyliss(marie, meziane, graphe_interaction).
dyliss(marie, meziane, ecologie_des_systemes).
dyliss(marie, camille, metabolisme).
dyliss(marie, camille, bacterie).
dyliss(marie, camille, graphe_interaction).
dyliss(marie, pierre, metabolisme).

dyliss(francois_coste,juliette,(correlations;grammaires;proteine;enzymes;transporteurs;apprentissage)).
dyliss(francois_coste,arnaud,(plma;enzymes;visu3D;classification)).
dyliss(francois_coste,clemence,transporteurs).
dyliss(francois_coste,jeanne,enzymes).
dyliss(francois_coste,catherine,grammaires).
dyliss(francois_coste,olivier_dameron,gene_ontology).
dyliss(francois_coste,nathalie,adam).
% % dyliss(francois_coste,_,python).

% dyliss(maxime,(nathalie;anne),(biopax;tgfbeta;graphe)).
% dyliss(maxime,pierre_vignet,biopax).
% dyliss(maxime,clemence,(asp;metabolisme;interpretation_abstraite;optimisation)).


% dyliss(mael,arnaud,(python;java)).
% dyliss(mael,arnaud,meziane,(biologie_marine;metabolisme)).
% dyliss(mael,anne,nathalie,(graphe;enzymes;metabolisme)).
% dyliss(mael,anne,nathalie,expression).
% dyliss(mael,anne,xavier,askomics).

% dyliss(juliette,arnaud,(visu3D;alignement)).
% dyliss(juliette,meline,r).

% dyliss(meline,anne,olivier_dameron,(signature;sante;graphe;fca)).
% dyliss(marine,anne,olivier_dameron,(tf;askomics)).

% dyliss(arnaud,(anne;jeanne;jacques;francois_coste;juliette),classification).
% dyliss(arnaud,(anne;meziane;clemence;jeanne),(metabolisme;algue)).
% dyliss(arnaud,anne,jacques,asp).
% dyliss(arnaud,mael,(biologie_marine;metabolisme)).
% dyliss(catherine,catherine,arn).


% undirected graph.
dyliss(A,B,S):- dyliss(B,A,S).

% triplets of human
dyliss(A,B,S):- dyliss(A,B,_,S).
dyliss(A,C,S):- dyliss(A,_,C,S).
dyliss(B,C,S):- dyliss(_,B,C,S).

% implications.
dyliss(A,B,rdf):- dyliss(A,B,sparql).

% every humans.
human(A):- dyliss(A,_,_).


% subjects for particular human.
% sujet(lucas,(asp;classification;optimisation;graphe_interaction;fca;python)).

%link(A,B):- dyliss(A,B,_).%color(A,B,green):- dyliss(A,B,_).

rel(A,S):- dyliss(A,_,S).
















dyliss(lucas,clemence,(asp;metabolisme;graphe)).
dyliss(lucas,meziane,(asp;metabolisme)).
dyliss(lucas,nathalie,(tgfbeta;graphe_interaction;fca)).
dyliss(lucas,jacques,(asp;classification;optimisation;puceron;tgfbeta;graphe_interaction;fca)).
dyliss(lucas,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(jacques,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(lucas,olivier_dameron,(rdf;asp;python)).
dyliss(lucas,julie_laniau,asp).
dyliss(jeremy,lucas,fca).
dyliss(lucas,(sebastien_letord;sebastien_francois;meziane;pierre_vignet;jeremy),python).
dyliss(clemence,olivier_dameron,askomics).
dyliss(marie,jeanne,metabolisme).
dyliss(meziane,(arnaud;clemence;marie;jeanne),(metabolisme;biologie_marine)).
dyliss(meziane,(pierre_vignet;lucas),(python;asp)).
dyliss((olivier_dameron;meziane;xavier),(olivier_dameron;meziane;xavier),askomics).
dyliss(jeanne,francois_coste,classification).
dyliss(xavier,(meziane;marine;francois_coste;olivier_dameron),askomics).

dyliss(nathalie,(jacques;lucas),(fca;asp;graphe;tgfbeta)).
dyliss(nathalie,(pierre_vignet;olivier_dameron),(biopax;metabolisme;rdf)).
dyliss(nathalie,catherine,tf).
dyliss(nathalie,francois_coste,(signalisation;proteine)).
dyliss(nathalie,maxime,(graphe;biopax;tgfbeta)).
dyliss(nathalie,pierre_vignet,(signalisation;optimisation)).
dyliss(francois_moreews,catherine,(tf;orthocis;orthology)).
dyliss(francois_moreews,olivier_dameron,(biopax;askomics)).
dyliss(francois_moreews,anne,graphe).

dyliss(olivier_dameron,francois_coste,(correlation;gene_ontology)).
dyliss(olivier_dameron,denis,askomics).
dyliss(olivier_dameron,jacques,asp).
dyliss(olivier_dameron,anne,(metabolisme;signature;asp;askomics;rdf)).
dyliss(olivier_dameron,nathalie,(signalisation;matrice_extracell)).
dyliss(olivier_dameron,jeanne,rdf).
dyliss(olivier_dameron,francois_moreews,(biopax;rdf;fair_data)).
dyliss(olivier_dameron,denis,askomics).

dyliss(olivier_dameron,lucas,(asp;graphe)).
dyliss(olivier_dameron,(meziane;xavier),(rdf;sparql)).
dyliss(olivier_dameron,pierre_vignet,biopax).
dyliss(olivier_dameron,vijay,(sparql;requete_federe)).
dyliss(olivier_dameron,(marine;meline),askomics).
dyliss(olivier_dameron,meline,(graphe;correlation)).


dyliss(marie, olivier_dameron, metabolisme).
dyliss(marie, anne, metabolisme).
dyliss(marie, anne, bacterie).
dyliss(marie, anne, graphe_interaction).
dyliss(marie, anne, ecologie_des_systemes).
dyliss(marie, nathalie, ecologie_des_systemes).
dyliss(marie, jeanne, metabolisme).
dyliss(marie, jeanne, bacterie).

% % dyliss(marie, jeremie, metabolisme).
% % dyliss(marie, jeremie, ecologie des systemes).
% % dyliss(marie, damien, metabolisme).
% % dyliss(marie, damien, graphe_interaction).
% % dyliss(marie, damien, bacterie).
% % dyliss(marie, damien, ecologie des systemes).
dyliss(marie, denis, ecologie_des_systemes).
dyliss(marie, clemence, metabolisme).
dyliss(marie, clemence, bacterie).
dyliss(marie, clemence, graphe_interaction).
dyliss(marie, clemence, ecologie_des_systemes).
dyliss(marie, julie, metabolisme).
dyliss(marie, julie, graphe_interaction).
dyliss(marie, meziane, metabolisme).
dyliss(marie, meziane, bacterie).
dyliss(marie, meziane, graphe_interaction).
dyliss(marie, meziane, ecologie_des_systemes).
dyliss(marie, camille, metabolisme).
dyliss(marie, camille, bacterie).
dyliss(marie, camille, graphe_interaction).
dyliss(marie, pierre, metabolisme).

dyliss(francois_coste,juliette,(correlations;grammaires;proteine;enzymes;transporteurs;apprentissage)).
dyliss(francois_coste,arnaud,(plma;enzymes;visu3D;classification)).
dyliss(francois_coste,clemence,transporteurs).
dyliss(francois_coste,jeanne,enzymes).
dyliss(francois_coste,catherine,grammaires).
dyliss(francois_coste,olivier_dameron,gene_ontology).
dyliss(francois_coste,nathalie,adam).
% % dyliss(francois_coste,_,python).

% dyliss(maxime,(nathalie;anne),(biopax;tgfbeta;graphe)).
% dyliss(maxime,pierre_vignet,biopax).
% dyliss(maxime,clemence,(asp;metabolisme;interpretation_abstraite;optimisation)).


% dyliss(mael,arnaud,(python;java)).
% dyliss(mael,arnaud,meziane,(biologie_marine;metabolisme)).
% dyliss(mael,anne,nathalie,(graphe;enzymes;metabolisme)).
% dyliss(mael,anne,nathalie,expression).
% dyliss(mael,anne,xavier,askomics).

% dyliss(juliette,arnaud,(visu3D;alignement)).
% dyliss(juliette,meline,r).

% dyliss(meline,anne,olivier_dameron,(signature;sante;graphe;fca)).
% dyliss(marine,anne,olivier_dameron,(tf;askomics)).

% dyliss(arnaud,(anne;jeanne;jacques;francois_coste;juliette),classification).
% dyliss(arnaud,(anne;meziane;clemence;jeanne),(metabolisme;algue)).
% dyliss(arnaud,anne,jacques,asp).
% dyliss(arnaud,mael,(biologie_marine;metabolisme)).
% dyliss(catherine,catherine,arn).


% undirected graph.
dyliss(A,B,S):- dyliss(B,A,S).

% triplets of human
dyliss(A,B,S):- dyliss(A,B,_,S).
dyliss(A,C,S):- dyliss(A,_,C,S).
dyliss(B,C,S):- dyliss(_,B,C,S).

% implications.
dyliss(A,B,rdf):- dyliss(A,B,sparql).

% every humans.
human(A):- dyliss(A,_,_).


% subjects for particular human.
% sujet(lucas,(asp;classification;optimisation;graphe_interaction;fca;python)).


% SHOW GALOIS LATTICE
% Build the lattice.
link(X,Y):- under(X,Y).

% I want AOC poset to be written.
annot(upper,X,A):- specint(X,A).
annot(lower,X,O):- specext(X,O).

% Show the concept uid as node label.
label(X,X):- concept(X).

% Get a good visualization.
obj_property(graph,dpi,300).

% Delete arrows head.
obj_property(edge,arrowhead,none).

% Some objects properties to prettify the visualization.
obj_property(edge,labeldistance,"1.5").
obj_property(edge,minlen,2).concept(0).
int(0,asp). int(0,graphe). int(0,rdf). int(0,metabolisme). ext(0,olivier_dameron). ext(0,anne). ext(0,nathalie). ext(0,lucas). 
concept(1).
specint(1,matrice_extracell). int(1,graphe). int(1,matrice_extracell). int(1,biopax). int(1,asp). int(1,signalisation). int(1,rdf). int(1,metabolisme). ext(1,olivier_dameron). ext(1,nathalie). 
concept(2).
int(2,asp). int(2,rdf). int(2,metabolisme). ext(2,olivier_dameron). ext(2,pierre_vignet). ext(2,anne). ext(2,meziane). ext(2,nathalie). ext(2,lucas). 
concept(3).
int(3,rdf). int(3,metabolisme). ext(3,olivier_dameron). ext(3,pierre_vignet). ext(3,anne). ext(3,meziane). ext(3,nathalie). ext(3,jeanne). ext(3,lucas). 
concept(4).
int(4,asp). int(4,biopax). int(4,signalisation). int(4,rdf). int(4,metabolisme). ext(4,olivier_dameron). ext(4,pierre_vignet). ext(4,nathalie). 
concept(5).
specint(5,metabolisme). int(5,metabolisme). ext(5,olivier_dameron). ext(5,pierre_vignet). ext(5,clemence). ext(5,arnaud). ext(5,lucas). ext(5,pierre). ext(5,julie). ext(5,anne). ext(5,meziane). ext(5,camille). ext(5,jeanne). ext(5,marie). ext(5,nathalie). specext(5,pierre). 
concept(6).
int(6,asp). int(6,graphe). int(6,metabolisme). ext(6,olivier_dameron). ext(6,anne). ext(6,clemence). ext(6,nathalie). ext(6,lucas). 
concept(7).
int(7,asp). int(7,metabolisme). ext(7,olivier_dameron). ext(7,pierre_vignet). ext(7,clemence). ext(7,anne). ext(7,meziane). ext(7,nathalie). ext(7,lucas). 
concept(8).
int(8,graphe). int(8,rdf). int(8,biopax). ext(8,olivier_dameron). ext(8,francois_moreews). ext(8,nathalie). 
concept(9).
int(9,rdf). int(9,biopax). ext(9,olivier_dameron). ext(9,pierre_vignet). ext(9,francois_moreews). ext(9,nathalie). 
concept(10).
int(10,graphe). int(10,biopax). ext(10,olivier_dameron). ext(10,francois_moreews). ext(10,maxime). ext(10,nathalie). 
concept(11).
specint(11,biopax). int(11,biopax). ext(11,olivier_dameron). ext(11,pierre_vignet). ext(11,francois_moreews). ext(11,maxime). ext(11,nathalie). 
concept(12).
int(12,graphe). int(12,rdf). ext(12,olivier_dameron). ext(12,francois_moreews). ext(12,anne). ext(12,nathalie). ext(12,lucas). 
concept(13).
specint(13,rdf). int(13,rdf). ext(13,olivier_dameron). ext(13,pierre_vignet). ext(13,vijay). ext(13,lucas). ext(13,anne). ext(13,meziane). ext(13,xavier). ext(13,francois_moreews). ext(13,jeanne). ext(13,nathalie). 
concept(14).
ext(14,olivier_dameron). ext(14,pierre_vignet). ext(14,clemence). ext(14,maxime). ext(14,lucas). ext(14,pierre). ext(14,julie_laniau). ext(14,meziane). ext(14,xavier). ext(14,francois_moreews). ext(14,camille). ext(14,sebastien_letord). ext(14,marie). ext(14,sebastien_francois). ext(14,meline). ext(14,marine). ext(14,francois_coste). ext(14,arnaud). ext(14,vijay). ext(14,jacques). ext(14,julie). ext(14,anne). ext(14,catherine). ext(14,juliette). ext(14,jeremy). ext(14,denis). ext(14,jeanne). ext(14,nathalie). 
concept(15).
specint(15,signalisation). int(15,signalisation). ext(15,olivier_dameron). ext(15,pierre_vignet). ext(15,francois_coste). ext(15,nathalie). 
concept(16).
specint(16,asp). int(16,asp). ext(16,olivier_dameron). ext(16,pierre_vignet). ext(16,clemence). ext(16,lucas). ext(16,jacques). ext(16,julie_laniau). ext(16,anne). ext(16,meziane). ext(16,nathalie). specext(16,julie_laniau). 
concept(17).
specint(17,graphe). int(17,graphe). ext(17,olivier_dameron). ext(17,meline). ext(17,clemence). ext(17,lucas). ext(17,jacques). ext(17,anne). ext(17,francois_moreews). ext(17,maxime). ext(17,nathalie). 
concept(18).
int(18,graphe). int(18,asp). ext(18,olivier_dameron). ext(18,jacques). ext(18,clemence). ext(18,anne). ext(18,nathalie). ext(18,lucas). 
concept(19).
int(19,optimisation). int(19,biopax). int(19,asp). int(19,signalisation). int(19,rdf). int(19,metabolisme). ext(19,pierre_vignet). ext(19,nathalie). 
concept(20).
int(20,tf). int(20,graphe). int(20,rdf). int(20,biopax). ext(20,francois_moreews). ext(20,nathalie). 
concept(21).
int(21,graphe). int(21,ecologie_des_systemes). int(21,graphe_interaction). int(21,rdf). int(21,metabolisme). int(21,asp). ext(21,anne). ext(21,nathalie). 
concept(22).
int(22,ecologie_des_systemes). int(22,graphe_interaction). int(22,rdf). int(22,metabolisme). int(22,asp). ext(22,anne). ext(22,meziane). ext(22,nathalie). 
concept(23).
int(23,optimisation). int(23,graphe). int(23,tgfbeta). int(23,graphe_interaction). int(23,metabolisme). int(23,fca). int(23,rdf). int(23,asp). ext(23,nathalie). ext(23,lucas). 
concept(24).
int(24,asp). int(24,optimisation). int(24,rdf). int(24,metabolisme). ext(24,pierre_vignet). ext(24,nathalie). ext(24,lucas). 
concept(25).
int(25,asp). int(25,graphe_interaction). int(25,graphe). int(25,rdf). int(25,metabolisme). ext(25,anne). ext(25,nathalie). ext(25,lucas). 
concept(26).
int(26,asp). int(26,graphe_interaction). int(26,rdf). int(26,metabolisme). ext(26,anne). ext(26,meziane). ext(26,nathalie). ext(26,lucas). 
concept(27).
int(27,tgfbeta). int(27,graphe). int(27,biopax). ext(27,maxime). ext(27,nathalie). specext(27,maxime). 
concept(28).
specint(28,tf). int(28,tf). ext(28,catherine). ext(28,francois_moreews). ext(28,nathalie). 
concept(29).
specint(29,adam). int(29,adam). int(29,proteine). int(29,signalisation). ext(29,francois_coste). ext(29,nathalie). 
concept(30).
specint(30,proteine). int(30,proteine). ext(30,francois_coste). ext(30,juliette). ext(30,nathalie). 
concept(31).
int(31,optimisation). int(31,fca). int(31,graphe). int(31,tgfbeta). int(31,graphe_interaction). int(31,asp). ext(31,jacques). ext(31,nathalie). ext(31,lucas). 
concept(32).
int(32,ecologie_des_systemes). int(32,fca). int(32,graphe_interaction). ext(32,denis). ext(32,nathalie). 
concept(33).
specint(33,fca). int(33,fca). ext(33,jeremy). ext(33,denis). ext(33,jacques). ext(33,nathalie). ext(33,lucas). 
concept(34).
int(34,fca). int(34,graphe_interaction). ext(34,jacques). ext(34,denis). ext(34,nathalie). ext(34,lucas). 
concept(35).
specint(35,tgfbeta). int(35,tgfbeta). int(35,graphe). ext(35,jacques). ext(35,maxime). ext(35,nathalie). ext(35,lucas). 
concept(36).
specint(36,optimisation). int(36,optimisation). int(36,asp). ext(36,jacques). ext(36,pierre_vignet). ext(36,nathalie). ext(36,lucas). 
concept(37).
specint(37,ecologie_des_systemes). int(37,ecologie_des_systemes). int(37,graphe_interaction). ext(37,clemence). ext(37,anne). ext(37,meziane). ext(37,denis). ext(37,marie). ext(37,nathalie). 
concept(38).
int(38,ecologie_des_systemes). int(38,graphe_interaction). int(38,metabolisme). ext(38,clemence). ext(38,marie). ext(38,anne). ext(38,meziane). ext(38,nathalie). 
concept(39).
int(39,ecologie_des_systemes). int(39,graphe_interaction). int(39,metabolisme). int(39,asp). ext(39,clemence). ext(39,anne). ext(39,meziane). ext(39,nathalie). 
concept(40).
int(40,ecologie_des_systemes). int(40,graphe_interaction). int(40,graphe). int(40,metabolisme). int(40,asp). ext(40,clemence). ext(40,anne). ext(40,nathalie). 
concept(41).
specint(41,graphe_interaction). int(41,graphe_interaction). ext(41,clemence). ext(41,lucas). ext(41,jacques). ext(41,julie). ext(41,anne). ext(41,meziane). ext(41,denis). ext(41,camille). ext(41,marie). ext(41,nathalie). 
concept(42).
int(42,graphe_interaction). int(42,metabolisme). ext(42,clemence). ext(42,lucas). ext(42,julie). ext(42,anne). ext(42,meziane). ext(42,camille). ext(42,marie). ext(42,nathalie). specext(42,julie). 
concept(43).
int(43,graphe_interaction). int(43,asp). ext(43,jacques). ext(43,clemence). ext(43,anne). ext(43,meziane). ext(43,nathalie). ext(43,lucas). 
concept(44).
int(44,graphe_interaction). int(44,graphe). int(44,asp). ext(44,jacques). ext(44,anne). ext(44,clemence). ext(44,nathalie). ext(44,lucas). 
concept(45).
int(45,asp). int(45,graphe_interaction). int(45,metabolisme). ext(45,clemence). ext(45,anne). ext(45,meziane). ext(45,nathalie). ext(45,lucas). 
concept(46).
int(46,asp). int(46,graphe_interaction). int(46,graphe). int(46,metabolisme). ext(46,clemence). ext(46,anne). ext(46,nathalie). ext(46,lucas). 
concept(47).
int(47,optimisation). int(47,tf). int(47,graphe). int(47,biopax). int(47,adam). int(47,tgfbeta). int(47,proteine). int(47,signalisation). int(47,graphe_interaction). int(47,metabolisme). int(47,fca). int(47,matrice_extracell). int(47,ecologie_des_systemes). int(47,rdf). int(47,asp). ext(47,nathalie). specext(47,nathalie). 
concept(48).
int(48,optimisation). int(48,correlations). int(48,signalisation). int(48,puceron). int(48,python). int(48,matrice_extracell). int(48,fair_data). int(48,bacterie). int(48,tf). int(48,graphe). int(48,signature). int(48,proteine). int(48,graphe_interaction). int(48,metabolisme). int(48,grammaires). int(48,classification). int(48,ecologie_des_systemes). int(48,correlation). int(48,enzymes). int(48,apprentissage). int(48,gene_ontology). int(48,asp). int(48,visu3D). int(48,orthocis). int(48,plma). int(48,sparql). int(48,biopax). int(48,biologie_marine). int(48,adam). int(48,tgfbeta). int(48,transporteurs). int(48,orthology). int(48,askomics). int(48,fca). int(48,requete_federe). int(48,rdf). 
concept(49).
int(49,correlations). int(49,visu3D). int(49,enzymes). int(49,adam). int(49,transporteurs). int(49,signalisation). int(49,proteine). int(49,askomics). int(49,grammaires). int(49,classification). int(49,plma). int(49,correlation). int(49,apprentissage). int(49,gene_ontology). ext(49,francois_coste). specext(49,francois_coste). 
concept(50).
specint(50,apprentissage). specint(50,correlations). int(50,grammaires). int(50,proteine). int(50,enzymes). int(50,correlations). int(50,transporteurs). int(50,apprentissage). ext(50,juliette). ext(50,francois_coste). specext(50,juliette). 
concept(51).
int(51,optimisation). int(51,graphe). int(51,tgfbeta). int(51,graphe_interaction). int(51,puceron). int(51,fca). int(51,classification). int(51,asp). ext(51,jacques). ext(51,lucas). specext(51,jacques). 
concept(52).
int(52,optimisation). int(52,graphe). int(52,tgfbeta). int(52,graphe_interaction). int(52,puceron). int(52,metabolisme). int(52,python). int(52,fca). int(52,classification). int(52,rdf). int(52,asp). ext(52,lucas). specext(52,lucas). 
concept(53).
int(53,classification). int(53,biologie_marine). int(53,visu3D). int(53,plma). int(53,enzymes). int(53,metabolisme). ext(53,arnaud). specext(53,arnaud). 
concept(54).
specint(54,plma). specint(54,visu3D). int(54,plma). int(54,enzymes). int(54,classification). int(54,visu3D). ext(54,arnaud). ext(54,francois_coste). 
concept(55).
int(55,biologie_marine). int(55,enzymes). int(55,classification). int(55,metabolisme). ext(55,jeanne). ext(55,arnaud). 
concept(56).
int(56,enzymes). int(56,classification). ext(56,jeanne). ext(56,arnaud). ext(56,francois_coste). 
concept(57).
specint(57,enzymes). int(57,enzymes). ext(57,jeanne). ext(57,juliette). ext(57,arnaud). ext(57,francois_coste). 
concept(58).
int(58,bacterie). int(58,classification). int(58,biologie_marine). int(58,enzymes). int(58,rdf). int(58,metabolisme). ext(58,jeanne). specext(58,jeanne). 
concept(59).
specint(59,askomics). int(59,askomics). ext(59,olivier_dameron). ext(59,meline). ext(59,clemence). ext(59,marine). ext(59,francois_coste). ext(59,anne). ext(59,meziane). ext(59,xavier). ext(59,francois_moreews). ext(59,denis). specext(59,marine). 
concept(60).
specint(60,correlation). int(60,correlation). int(60,askomics). ext(60,olivier_dameron). ext(60,meline). ext(60,francois_coste). 
concept(61).
int(61,correlation). int(61,graphe). int(61,askomics). ext(61,olivier_dameron). ext(61,meline). specext(61,meline). 
concept(62).
int(62,graphe). int(62,askomics). ext(62,olivier_dameron). ext(62,francois_moreews). ext(62,anne). ext(62,clemence). ext(62,meline). 
concept(63).
specint(63,puceron). int(63,fca). int(63,classification). int(63,graphe_interaction). int(63,puceron). ext(63,jacques). ext(63,denis). ext(63,lucas). 
concept(64).
int(64,fca). int(64,classification). int(64,ecologie_des_systemes). int(64,graphe_interaction). int(64,puceron). int(64,askomics). ext(64,denis). specext(64,denis). 
concept(65).
specint(65,classification). int(65,classification). ext(65,jacques). ext(65,francois_coste). ext(65,jeanne). ext(65,denis). ext(65,arnaud). ext(65,lucas). 
concept(66).
int(66,classification). int(66,askomics). ext(66,denis). ext(66,francois_coste). 
concept(67).
int(67,ecologie_des_systemes). int(67,graphe_interaction). int(67,askomics). ext(67,clemence). ext(67,denis). ext(67,anne). ext(67,meziane). 
concept(68).
int(68,classification). int(68,metabolisme). ext(68,jeanne). ext(68,arnaud). ext(68,lucas). 
concept(69).
int(69,rdf). int(69,classification). int(69,metabolisme). ext(69,jeanne). ext(69,lucas). 
concept(70).
int(70,graphe). int(70,sparql). int(70,biopax). int(70,signature). int(70,signalisation). int(70,metabolisme). int(70,askomics). int(70,python). int(70,matrice_extracell). int(70,correlation). int(70,requete_federe). int(70,fair_data). int(70,gene_ontology). int(70,rdf). int(70,asp). ext(70,olivier_dameron). specext(70,olivier_dameron). 
concept(71).
specint(71,gene_ontology). int(71,correlation). int(71,signalisation). int(71,gene_ontology). int(71,askomics). ext(71,olivier_dameron). ext(71,francois_coste). 
concept(72).
int(72,grammaires). int(72,orthocis). int(72,orthology). int(72,tf). ext(72,catherine). specext(72,catherine). 
concept(73).
specint(73,grammaires). int(73,grammaires). ext(73,catherine). ext(73,juliette). ext(73,francois_coste). 
concept(74).
specint(74,sparql). int(74,rdf). int(74,sparql). ext(74,olivier_dameron). ext(74,meziane). ext(74,vijay). ext(74,xavier). 
concept(75).
int(75,rdf). int(75,sparql). int(75,askomics). ext(75,olivier_dameron). ext(75,meziane). ext(75,xavier). specext(75,xavier). 
concept(76).
int(76,rdf). int(76,askomics). ext(76,olivier_dameron). ext(76,francois_moreews). ext(76,anne). ext(76,meziane). ext(76,xavier). 
concept(77).
int(77,graphe). int(77,biologie_marine). int(77,transporteurs). int(77,graphe_interaction). int(77,metabolisme). int(77,askomics). int(77,ecologie_des_systemes). int(77,bacterie). int(77,asp). ext(77,clemence). specext(77,clemence). 
concept(78).
specint(78,transporteurs). int(78,transporteurs). ext(78,clemence). ext(78,juliette). ext(78,francois_coste). 
concept(79).
int(79,transporteurs). int(79,askomics). ext(79,clemence). ext(79,francois_coste). 
concept(80).
specint(80,bacterie). int(80,bacterie). int(80,metabolisme). ext(80,clemence). ext(80,anne). ext(80,meziane). ext(80,camille). ext(80,jeanne). ext(80,marie). 
concept(81).
int(81,bacterie). int(81,graphe_interaction). int(81,metabolisme). ext(81,clemence). ext(81,marie). ext(81,camille). ext(81,meziane). ext(81,anne). specext(81,camille). 
concept(82).
int(82,biologie_marine). int(82,bacterie). int(82,metabolisme). ext(82,marie). ext(82,clemence). ext(82,jeanne). ext(82,meziane). 
concept(83).
int(83,ecologie_des_systemes). int(83,biologie_marine). int(83,bacterie). int(83,graphe_interaction). int(83,metabolisme). ext(83,marie). ext(83,clemence). ext(83,meziane). specext(83,marie). 
concept(84).
int(84,sparql). int(84,biologie_marine). int(84,graphe_interaction). int(84,metabolisme). int(84,askomics). int(84,python). int(84,ecologie_des_systemes). int(84,bacterie). int(84,rdf). int(84,asp). ext(84,meziane). specext(84,meziane). 
concept(85).
int(85,bacterie). int(85,biologie_marine). int(85,ecologie_des_systemes). int(85,asp). int(85,graphe_interaction). int(85,metabolisme). int(85,askomics). ext(85,clemence). ext(85,meziane). 
concept(86).
int(86,biologie_marine). int(86,bacterie). int(86,rdf). int(86,metabolisme). ext(86,jeanne). ext(86,meziane). 
concept(87).
specint(87,biologie_marine). int(87,biologie_marine). int(87,metabolisme). ext(87,jeanne). ext(87,marie). ext(87,clemence). ext(87,arnaud). ext(87,meziane). 
concept(88).
specint(88,requete_federe). int(88,requete_federe). int(88,rdf). int(88,sparql). ext(88,olivier_dameron). ext(88,vijay). specext(88,vijay). 
concept(89).
specint(89,python). int(89,python). ext(89,olivier_dameron). ext(89,pierre_vignet). ext(89,meziane). ext(89,jeremy). ext(89,sebastien_letord). ext(89,sebastien_francois). ext(89,lucas). specext(89,sebastien_letord). specext(89,sebastien_francois). 
concept(90).
int(90,ecologie_des_systemes). int(90,bacterie). int(90,graphe_interaction). int(90,metabolisme). ext(90,clemence). ext(90,marie). ext(90,anne). ext(90,meziane). 
concept(91).
int(91,python). int(91,sparql). int(91,asp). int(91,rdf). int(91,metabolisme). int(91,askomics). ext(91,olivier_dameron). ext(91,meziane). 
concept(92).
int(92,tf). int(92,graphe). int(92,biopax). int(92,orthocis). int(92,orthology). int(92,askomics). int(92,fair_data). int(92,rdf). ext(92,francois_moreews). specext(92,francois_moreews). 
concept(93).
specint(93,fair_data). int(93,fair_data). int(93,graphe). int(93,rdf). int(93,biopax). int(93,askomics). ext(93,olivier_dameron). ext(93,francois_moreews). 
concept(94).
specint(94,signature). int(94,graphe). int(94,asp). int(94,signature). int(94,rdf). int(94,metabolisme). int(94,askomics). ext(94,olivier_dameron). ext(94,anne). 
concept(95).
int(95,graphe). int(95,signature). int(95,graphe_interaction). int(95,metabolisme). int(95,askomics). int(95,ecologie_des_systemes). int(95,bacterie). int(95,rdf). int(95,asp). ext(95,anne). specext(95,anne). 
concept(96).
specint(96,orthocis). specint(96,orthology). int(96,tf). int(96,orthocis). int(96,orthology). ext(96,catherine). ext(96,francois_moreews). 
concept(97).
int(97,python). int(97,biopax). int(97,asp). int(97,signalisation). int(97,rdf). int(97,metabolisme). ext(97,olivier_dameron). ext(97,pierre_vignet). 
concept(98).
int(98,python). int(98,rdf). int(98,metabolisme). int(98,asp). ext(98,olivier_dameron). ext(98,pierre_vignet). ext(98,meziane). ext(98,lucas). 
concept(99).
int(99,optimisation). int(99,python). int(99,biopax). int(99,asp). int(99,signalisation). int(99,rdf). int(99,metabolisme). ext(99,pierre_vignet). specext(99,pierre_vignet). 
concept(100).
int(100,python). int(100,optimisation). int(100,rdf). int(100,metabolisme). int(100,asp). ext(100,pierre_vignet). ext(100,lucas). 
concept(101).
int(101,python). int(101,fca). ext(101,jeremy). ext(101,lucas). specext(101,jeremy). 
concept(102).
int(102,python). int(102,graphe). int(102,rdf). int(102,metabolisme). int(102,asp). ext(102,olivier_dameron). ext(102,lucas). 
concept(103).
int(103,python). int(103,graphe_interaction). int(103,rdf). int(103,metabolisme). int(103,asp). ext(103,meziane). ext(103,lucas). 
concept(104).
int(104,bacterie). int(104,ecologie_des_systemes). int(104,asp). int(104,graphe_interaction). int(104,metabolisme). int(104,askomics). ext(104,clemence). ext(104,anne). ext(104,meziane). 
concept(105).
int(105,bacterie). int(105,graphe). int(105,ecologie_des_systemes). int(105,asp). int(105,graphe_interaction). int(105,metabolisme). int(105,askomics). ext(105,clemence). ext(105,anne). 
concept(106).
int(106,bacterie). int(106,ecologie_des_systemes). int(106,asp). int(106,graphe_interaction). int(106,rdf). int(106,metabolisme). int(106,askomics). ext(106,anne). ext(106,meziane). 
concept(107).
int(107,bacterie). int(107,rdf). int(107,metabolisme). ext(107,anne). ext(107,jeanne). ext(107,meziane). 
concept(108).
int(108,asp). int(108,metabolisme). int(108,askomics). ext(108,olivier_dameron). ext(108,clemence). ext(108,anne). ext(108,meziane). 
concept(109).
int(109,asp). int(109,graphe). int(109,metabolisme). int(109,askomics). ext(109,olivier_dameron). ext(109,anne). ext(109,clemence). 
concept(110).
int(110,graphe). int(110,rdf). int(110,askomics). ext(110,olivier_dameron). ext(110,francois_moreews). ext(110,anne). 
concept(111).
int(111,asp). int(111,rdf). int(111,metabolisme). int(111,askomics). ext(111,olivier_dameron). ext(111,anne). ext(111,meziane). 

dyliss(lucas,clemence,(asp;metabolisme;graphe)).
dyliss(lucas,meziane,(asp;metabolisme)).
dyliss(lucas,nathalie,(tgfbeta;graphe_interaction;fca)).
dyliss(lucas,jacques,(asp;classification;optimisation;puceron;tgfbeta;graphe_interaction;fca)).
dyliss(lucas,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(jacques,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(lucas,olivier_dameron,(rdf;asp;python)).
dyliss(lucas,julie_laniau,asp).
dyliss(jeremy,lucas,fca).
dyliss(lucas,(sebastien_letord;sebastien_francois;meziane;pierre_vignet;jeremy),python).
dyliss(clemence,olivier_dameron,askomics).
dyliss(marie,jeanne,metabolisme).
dyliss(meziane,(arnaud;clemence;marie;jeanne),(metabolisme;biologie_marine)).
dyliss(meziane,(pierre_vignet;lucas),(python;asp)).
dyliss((olivier_dameron;meziane;xavier),(olivier_dameron;meziane;xavier),askomics).
dyliss(jeanne,francois_coste,classification).
dyliss(xavier,(meziane;marine;francois_coste;olivier_dameron),askomics).

dyliss(nathalie,(jacques;lucas),(fca;asp;graphe;tgfbeta)).
dyliss(nathalie,(pierre_vignet;olivier_dameron),(biopax;metabolisme;rdf)).
dyliss(nathalie,catherine,tf).
dyliss(nathalie,francois_coste,(signalisation;proteine)).
dyliss(nathalie,maxime,(graphe;biopax;tgfbeta)).
dyliss(nathalie,pierre_vignet,(signalisation;optimisation)).
dyliss(francois_moreews,catherine,(tf;orthocis;orthology)).
dyliss(francois_moreews,olivier_dameron,(biopax;askomics)).
dyliss(francois_moreews,anne,graphe).

dyliss(olivier_dameron,francois_coste,(correlation;gene_ontology)).
dyliss(olivier_dameron,denis,askomics).
dyliss(olivier_dameron,jacques,asp).
dyliss(olivier_dameron,anne,(metabolisme;signature;asp;askomics;rdf)).
dyliss(olivier_dameron,nathalie,(signalisation;matrice_extracell)).
dyliss(olivier_dameron,jeanne,rdf).
dyliss(olivier_dameron,francois_moreews,(biopax;rdf;fair_data)).
dyliss(olivier_dameron,denis,askomics).

dyliss(olivier_dameron,lucas,(asp;graphe)).
dyliss(olivier_dameron,(meziane;xavier),(rdf;sparql)).
dyliss(olivier_dameron,pierre_vignet,biopax).
dyliss(olivier_dameron,vijay,(sparql;requete_federe)).
dyliss(olivier_dameron,(marine;meline),askomics).
dyliss(olivier_dameron,meline,(graphe;correlation)).


dyliss(marie, olivier_dameron, metabolisme).
dyliss(marie, anne, metabolisme).
dyliss(marie, anne, bacterie).
dyliss(marie, anne, graphe_interaction).
dyliss(marie, anne, ecologie_des_systemes).
dyliss(marie, nathalie, ecologie_des_systemes).
dyliss(marie, jeanne, metabolisme).
dyliss(marie, jeanne, bacterie).

% % dyliss(marie, jeremie, metabolisme).
% % dyliss(marie, jeremie, ecologie des systemes).
% % dyliss(marie, damien, metabolisme).
% % dyliss(marie, damien, graphe_interaction).
% % dyliss(marie, damien, bacterie).
% % dyliss(marie, damien, ecologie des systemes).
dyliss(marie, denis, ecologie_des_systemes).
dyliss(marie, clemence, metabolisme).
dyliss(marie, clemence, bacterie).
dyliss(marie, clemence, graphe_interaction).
dyliss(marie, clemence, ecologie_des_systemes).
dyliss(marie, julie, metabolisme).
dyliss(marie, julie, graphe_interaction).
dyliss(marie, meziane, metabolisme).
dyliss(marie, meziane, bacterie).
dyliss(marie, meziane, graphe_interaction).
dyliss(marie, meziane, ecologie_des_systemes).
dyliss(marie, camille, metabolisme).
dyliss(marie, camille, bacterie).
dyliss(marie, camille, graphe_interaction).
dyliss(marie, pierre, metabolisme).

dyliss(francois_coste,juliette,(correlations;grammaires;proteine;enzymes;transporteurs;apprentissage)).
dyliss(francois_coste,arnaud,(plma;enzymes;visu3D;classification)).
dyliss(francois_coste,clemence,transporteurs).
dyliss(francois_coste,jeanne,enzymes).
dyliss(francois_coste,catherine,grammaires).
dyliss(francois_coste,olivier_dameron,gene_ontology).
dyliss(francois_coste,nathalie,adam).
% % dyliss(francois_coste,_,python).

% dyliss(maxime,(nathalie;anne),(biopax;tgfbeta;graphe)).
% dyliss(maxime,pierre_vignet,biopax).
% dyliss(maxime,clemence,(asp;metabolisme;interpretation_abstraite;optimisation)).


% dyliss(mael,arnaud,(python;java)).
% dyliss(mael,arnaud,meziane,(biologie_marine;metabolisme)).
% dyliss(mael,anne,nathalie,(graphe;enzymes;metabolisme)).
% dyliss(mael,anne,nathalie,expression).
% dyliss(mael,anne,xavier,askomics).

% dyliss(juliette,arnaud,(visu3D;alignement)).
% dyliss(juliette,meline,r).

% dyliss(meline,anne,olivier_dameron,(signature;sante;graphe;fca)).
% dyliss(marine,anne,olivier_dameron,(tf;askomics)).

% dyliss(arnaud,(anne;jeanne;jacques;francois_coste;juliette),classification).
% dyliss(arnaud,(anne;meziane;clemence;jeanne),(metabolisme;algue)).
% dyliss(arnaud,anne,jacques,asp).
% dyliss(arnaud,mael,(biologie_marine;metabolisme)).
% dyliss(catherine,catherine,arn).


% undirected graph.
dyliss(A,B,S):- dyliss(B,A,S).

% triplets of human
dyliss(A,B,S):- dyliss(A,B,_,S).
dyliss(A,C,S):- dyliss(A,_,C,S).
dyliss(B,C,S):- dyliss(_,B,C,S).

% implications.
dyliss(A,B,rdf):- dyliss(A,B,sparql).

% every humans.
human(A):- dyliss(A,_,_).


% subjects for particular human.
% sujet(lucas,(asp;classification;optimisation;graphe_interaction;fca;python)).

%link(A,B):- dyliss(A,B,_).%color(A,B,green):- dyliss(A,B,_).

rel(A,S):- dyliss(A,_,S).
















dyliss(lucas,clemence,(asp;metabolisme;graphe)).
dyliss(lucas,meziane,(asp;metabolisme)).
dyliss(lucas,nathalie,(tgfbeta;graphe_interaction;fca)).
dyliss(lucas,jacques,(asp;classification;optimisation;puceron;tgfbeta;graphe_interaction;fca)).
dyliss(lucas,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(jacques,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(lucas,olivier_dameron,(rdf;asp;python)).
dyliss(lucas,julie_laniau,asp).
dyliss(jeremy,lucas,fca).
dyliss(lucas,(sebastien_letord;sebastien_francois;meziane;pierre_vignet;jeremy),python).
dyliss(clemence,olivier_dameron,askomics).
dyliss(marie,jeanne,metabolisme).
dyliss(meziane,(arnaud;clemence;marie;jeanne),(metabolisme;biologie_marine)).
dyliss(meziane,(pierre_vignet;lucas),(python;asp)).
dyliss((olivier_dameron;meziane;xavier),(olivier_dameron;meziane;xavier),askomics).
dyliss(jeanne,francois_coste,classification).
dyliss(xavier,(meziane;marine;francois_coste;olivier_dameron),askomics).

dyliss(nathalie,(jacques;lucas),(fca;asp;graphe;tgfbeta)).
dyliss(nathalie,(pierre_vignet;olivier_dameron),(biopax;metabolisme;rdf)).
dyliss(nathalie,catherine,tf).
dyliss(nathalie,francois_coste,(signalisation;proteine)).
dyliss(nathalie,maxime,(graphe;biopax;tgfbeta)).
dyliss(nathalie,pierre_vignet,(signalisation;optimisation)).
dyliss(francois_moreews,catherine,(tf;orthocis;orthology)).
dyliss(francois_moreews,olivier_dameron,(biopax;askomics)).
dyliss(francois_moreews,anne,graphe).

dyliss(olivier_dameron,francois_coste,(correlation;gene_ontology)).
dyliss(olivier_dameron,denis,askomics).
dyliss(olivier_dameron,jacques,asp).
dyliss(olivier_dameron,anne,(metabolisme;signature;asp;askomics;rdf)).
dyliss(olivier_dameron,nathalie,(signalisation;matrice_extracell)).
dyliss(olivier_dameron,jeanne,rdf).
dyliss(olivier_dameron,francois_moreews,(biopax;rdf;fair_data)).
dyliss(olivier_dameron,denis,askomics).

dyliss(olivier_dameron,lucas,(asp;graphe)).
dyliss(olivier_dameron,(meziane;xavier),(rdf;sparql)).
dyliss(olivier_dameron,pierre_vignet,biopax).
dyliss(olivier_dameron,vijay,(sparql;requete_federe)).
dyliss(olivier_dameron,(marine;meline),askomics).
dyliss(olivier_dameron,meline,(graphe;correlation)).


dyliss(marie, olivier_dameron, metabolisme).
dyliss(marie, anne, metabolisme).
dyliss(marie, anne, bacterie).
dyliss(marie, anne, graphe_interaction).
dyliss(marie, anne, ecologie_des_systemes).
dyliss(marie, nathalie, ecologie_des_systemes).
dyliss(marie, jeanne, metabolisme).
dyliss(marie, jeanne, bacterie).

% % dyliss(marie, jeremie, metabolisme).
% % dyliss(marie, jeremie, ecologie des systemes).
% % dyliss(marie, damien, metabolisme).
% % dyliss(marie, damien, graphe_interaction).
% % dyliss(marie, damien, bacterie).
% % dyliss(marie, damien, ecologie des systemes).
dyliss(marie, denis, ecologie_des_systemes).
dyliss(marie, clemence, metabolisme).
dyliss(marie, clemence, bacterie).
dyliss(marie, clemence, graphe_interaction).
dyliss(marie, clemence, ecologie_des_systemes).
dyliss(marie, julie, metabolisme).
dyliss(marie, julie, graphe_interaction).
dyliss(marie, meziane, metabolisme).
dyliss(marie, meziane, bacterie).
dyliss(marie, meziane, graphe_interaction).
dyliss(marie, meziane, ecologie_des_systemes).
dyliss(marie, camille, metabolisme).
dyliss(marie, camille, bacterie).
dyliss(marie, camille, graphe_interaction).
dyliss(marie, pierre, metabolisme).

dyliss(francois_coste,juliette,(correlations;grammaires;proteine;enzymes;transporteurs;apprentissage)).
dyliss(francois_coste,arnaud,(plma;enzymes;visu3D;classification)).
dyliss(francois_coste,clemence,transporteurs).
dyliss(francois_coste,jeanne,enzymes).
dyliss(francois_coste,catherine,grammaires).
dyliss(francois_coste,olivier_dameron,gene_ontology).
dyliss(francois_coste,nathalie,adam).
% % dyliss(francois_coste,_,python).

% dyliss(maxime,(nathalie;anne),(biopax;tgfbeta;graphe)).
% dyliss(maxime,pierre_vignet,biopax).
% dyliss(maxime,clemence,(asp;metabolisme;interpretation_abstraite;optimisation)).


% dyliss(mael,arnaud,(python;java)).
% dyliss(mael,arnaud,meziane,(biologie_marine;metabolisme)).
% dyliss(mael,anne,nathalie,(graphe;enzymes;metabolisme)).
% dyliss(mael,anne,nathalie,expression).
% dyliss(mael,anne,xavier,askomics).

% dyliss(juliette,arnaud,(visu3D;alignement)).
% dyliss(juliette,meline,r).

% dyliss(meline,anne,olivier_dameron,(signature;sante;graphe;fca)).
% dyliss(marine,anne,olivier_dameron,(tf;askomics)).

% dyliss(arnaud,(anne;jeanne;jacques;francois_coste;juliette),classification).
% dyliss(arnaud,(anne;meziane;clemence;jeanne),(metabolisme;algue)).
% dyliss(arnaud,anne,jacques,asp).
% dyliss(arnaud,mael,(biologie_marine;metabolisme)).
% dyliss(catherine,catherine,arn).


% undirected graph.
dyliss(A,B,S):- dyliss(B,A,S).

% triplets of human
dyliss(A,B,S):- dyliss(A,B,_,S).
dyliss(A,C,S):- dyliss(A,_,C,S).
dyliss(B,C,S):- dyliss(_,B,C,S).

% implications.
dyliss(A,B,rdf):- dyliss(A,B,sparql).

% every humans.
human(A):- dyliss(A,_,_).


% subjects for particular human.
% sujet(lucas,(asp;classification;optimisation;graphe_interaction;fca;python)).

% Generate the concept lattice of an input context.
%
% INPUT:
%   - ext(N,X):- object X is in extent of concept N.
%   - int(N,Y):- attribute X is in intent of concept N.
%   - concept(N):- N is the unique id of a concept.
% OUTPUT (one model == one concept):
%   - smaller(C,D):- concept C is smaller than concept D
%   - under(C,D):- concept C is the biggest smaller than concept D


% Ordering of two concepts.
smaller(C1,C2):- concept(C1) ; concept(C2) ; C1!=C2 ; ext(C1,X): ext(C2,X).

% C1 is under C2 if there is no concepts between them.
under(C1,C3):- smaller(C1,C3) ; not concept(C2): smaller(C1,C2) , smaller(C2,C3).
concept(0).
int(0,asp). int(0,graphe). int(0,rdf). int(0,metabolisme). ext(0,olivier_dameron). ext(0,anne). ext(0,nathalie). ext(0,lucas). 
concept(1).
specint(1,matrice_extracell). int(1,graphe). int(1,matrice_extracell). int(1,biopax). int(1,asp). int(1,signalisation). int(1,rdf). int(1,metabolisme). ext(1,olivier_dameron). ext(1,nathalie). 
concept(2).
int(2,asp). int(2,rdf). int(2,metabolisme). ext(2,olivier_dameron). ext(2,pierre_vignet). ext(2,anne). ext(2,meziane). ext(2,nathalie). ext(2,lucas). 
concept(3).
int(3,rdf). int(3,metabolisme). ext(3,olivier_dameron). ext(3,pierre_vignet). ext(3,anne). ext(3,meziane). ext(3,nathalie). ext(3,jeanne). ext(3,lucas). 
concept(4).
int(4,asp). int(4,biopax). int(4,signalisation). int(4,rdf). int(4,metabolisme). ext(4,olivier_dameron). ext(4,pierre_vignet). ext(4,nathalie). 
concept(5).
specint(5,metabolisme). int(5,metabolisme). ext(5,olivier_dameron). ext(5,pierre_vignet). ext(5,clemence). ext(5,arnaud). ext(5,lucas). ext(5,pierre). ext(5,julie). ext(5,anne). ext(5,meziane). ext(5,camille). ext(5,jeanne). ext(5,marie). ext(5,nathalie). specext(5,pierre). 
concept(6).
int(6,asp). int(6,graphe). int(6,metabolisme). ext(6,olivier_dameron). ext(6,anne). ext(6,clemence). ext(6,nathalie). ext(6,lucas). 
concept(7).
int(7,asp). int(7,metabolisme). ext(7,olivier_dameron). ext(7,pierre_vignet). ext(7,clemence). ext(7,anne). ext(7,meziane). ext(7,nathalie). ext(7,lucas). 
concept(8).
int(8,graphe). int(8,rdf). int(8,biopax). ext(8,olivier_dameron). ext(8,francois_moreews). ext(8,nathalie). 
concept(9).
int(9,rdf). int(9,biopax). ext(9,olivier_dameron). ext(9,pierre_vignet). ext(9,francois_moreews). ext(9,nathalie). 
concept(10).
int(10,graphe). int(10,biopax). ext(10,olivier_dameron). ext(10,francois_moreews). ext(10,maxime). ext(10,nathalie). 
concept(11).
specint(11,biopax). int(11,biopax). ext(11,olivier_dameron). ext(11,pierre_vignet). ext(11,francois_moreews). ext(11,maxime). ext(11,nathalie). 
concept(12).
int(12,graphe). int(12,rdf). ext(12,olivier_dameron). ext(12,francois_moreews). ext(12,anne). ext(12,nathalie). ext(12,lucas). 
concept(13).
specint(13,rdf). int(13,rdf). ext(13,olivier_dameron). ext(13,pierre_vignet). ext(13,vijay). ext(13,lucas). ext(13,anne). ext(13,meziane). ext(13,xavier). ext(13,francois_moreews). ext(13,jeanne). ext(13,nathalie). 
concept(14).
ext(14,olivier_dameron). ext(14,pierre_vignet). ext(14,clemence). ext(14,maxime). ext(14,lucas). ext(14,pierre). ext(14,julie_laniau). ext(14,meziane). ext(14,xavier). ext(14,francois_moreews). ext(14,camille). ext(14,sebastien_letord). ext(14,marie). ext(14,sebastien_francois). ext(14,meline). ext(14,marine). ext(14,francois_coste). ext(14,arnaud). ext(14,vijay). ext(14,jacques). ext(14,julie). ext(14,anne). ext(14,catherine). ext(14,juliette). ext(14,jeremy). ext(14,denis). ext(14,jeanne). ext(14,nathalie). 
concept(15).
specint(15,signalisation). int(15,signalisation). ext(15,olivier_dameron). ext(15,pierre_vignet). ext(15,francois_coste). ext(15,nathalie). 
concept(16).
specint(16,asp). int(16,asp). ext(16,olivier_dameron). ext(16,pierre_vignet). ext(16,clemence). ext(16,lucas). ext(16,jacques). ext(16,julie_laniau). ext(16,anne). ext(16,meziane). ext(16,nathalie). specext(16,julie_laniau). 
concept(17).
specint(17,graphe). int(17,graphe). ext(17,olivier_dameron). ext(17,meline). ext(17,clemence). ext(17,lucas). ext(17,jacques). ext(17,anne). ext(17,francois_moreews). ext(17,maxime). ext(17,nathalie). 
concept(18).
int(18,graphe). int(18,asp). ext(18,olivier_dameron). ext(18,jacques). ext(18,clemence). ext(18,anne). ext(18,nathalie). ext(18,lucas). 
concept(19).
int(19,optimisation). int(19,biopax). int(19,asp). int(19,signalisation). int(19,rdf). int(19,metabolisme). ext(19,pierre_vignet). ext(19,nathalie). 
concept(20).
int(20,tf). int(20,graphe). int(20,rdf). int(20,biopax). ext(20,francois_moreews). ext(20,nathalie). 
concept(21).
int(21,graphe). int(21,ecologie_des_systemes). int(21,graphe_interaction). int(21,rdf). int(21,metabolisme). int(21,asp). ext(21,anne). ext(21,nathalie). 
concept(22).
int(22,ecologie_des_systemes). int(22,graphe_interaction). int(22,rdf). int(22,metabolisme). int(22,asp). ext(22,anne). ext(22,meziane). ext(22,nathalie). 
concept(23).
int(23,optimisation). int(23,graphe). int(23,tgfbeta). int(23,graphe_interaction). int(23,metabolisme). int(23,fca). int(23,rdf). int(23,asp). ext(23,nathalie). ext(23,lucas). 
concept(24).
int(24,asp). int(24,optimisation). int(24,rdf). int(24,metabolisme). ext(24,pierre_vignet). ext(24,nathalie). ext(24,lucas). 
concept(25).
int(25,asp). int(25,graphe_interaction). int(25,graphe). int(25,rdf). int(25,metabolisme). ext(25,anne). ext(25,nathalie). ext(25,lucas). 
concept(26).
int(26,asp). int(26,graphe_interaction). int(26,rdf). int(26,metabolisme). ext(26,anne). ext(26,meziane). ext(26,nathalie). ext(26,lucas). 
concept(27).
int(27,tgfbeta). int(27,graphe). int(27,biopax). ext(27,maxime). ext(27,nathalie). specext(27,maxime). 
concept(28).
specint(28,tf). int(28,tf). ext(28,catherine). ext(28,francois_moreews). ext(28,nathalie). 
concept(29).
specint(29,adam). int(29,adam). int(29,proteine). int(29,signalisation). ext(29,francois_coste). ext(29,nathalie). 
concept(30).
specint(30,proteine). int(30,proteine). ext(30,francois_coste). ext(30,juliette). ext(30,nathalie). 
concept(31).
int(31,optimisation). int(31,fca). int(31,graphe). int(31,tgfbeta). int(31,graphe_interaction). int(31,asp). ext(31,jacques). ext(31,nathalie). ext(31,lucas). 
concept(32).
int(32,ecologie_des_systemes). int(32,fca). int(32,graphe_interaction). ext(32,denis). ext(32,nathalie). 
concept(33).
specint(33,fca). int(33,fca). ext(33,jeremy). ext(33,denis). ext(33,jacques). ext(33,nathalie). ext(33,lucas). 
concept(34).
int(34,fca). int(34,graphe_interaction). ext(34,jacques). ext(34,denis). ext(34,nathalie). ext(34,lucas). 
concept(35).
specint(35,tgfbeta). int(35,tgfbeta). int(35,graphe). ext(35,jacques). ext(35,maxime). ext(35,nathalie). ext(35,lucas). 
concept(36).
specint(36,optimisation). int(36,optimisation). int(36,asp). ext(36,jacques). ext(36,pierre_vignet). ext(36,nathalie). ext(36,lucas). 
concept(37).
specint(37,ecologie_des_systemes). int(37,ecologie_des_systemes). int(37,graphe_interaction). ext(37,clemence). ext(37,anne). ext(37,meziane). ext(37,denis). ext(37,marie). ext(37,nathalie). 
concept(38).
int(38,ecologie_des_systemes). int(38,graphe_interaction). int(38,metabolisme). ext(38,clemence). ext(38,marie). ext(38,anne). ext(38,meziane). ext(38,nathalie). 
concept(39).
int(39,ecologie_des_systemes). int(39,graphe_interaction). int(39,metabolisme). int(39,asp). ext(39,clemence). ext(39,anne). ext(39,meziane). ext(39,nathalie). 
concept(40).
int(40,ecologie_des_systemes). int(40,graphe_interaction). int(40,graphe). int(40,metabolisme). int(40,asp). ext(40,clemence). ext(40,anne). ext(40,nathalie). 
concept(41).
specint(41,graphe_interaction). int(41,graphe_interaction). ext(41,clemence). ext(41,lucas). ext(41,jacques). ext(41,julie). ext(41,anne). ext(41,meziane). ext(41,denis). ext(41,camille). ext(41,marie). ext(41,nathalie). 
concept(42).
int(42,graphe_interaction). int(42,metabolisme). ext(42,clemence). ext(42,lucas). ext(42,julie). ext(42,anne). ext(42,meziane). ext(42,camille). ext(42,marie). ext(42,nathalie). specext(42,julie). 
concept(43).
int(43,graphe_interaction). int(43,asp). ext(43,jacques). ext(43,clemence). ext(43,anne). ext(43,meziane). ext(43,nathalie). ext(43,lucas). 
concept(44).
int(44,graphe_interaction). int(44,graphe). int(44,asp). ext(44,jacques). ext(44,anne). ext(44,clemence). ext(44,nathalie). ext(44,lucas). 
concept(45).
int(45,asp). int(45,graphe_interaction). int(45,metabolisme). ext(45,clemence). ext(45,anne). ext(45,meziane). ext(45,nathalie). ext(45,lucas). 
concept(46).
int(46,asp). int(46,graphe_interaction). int(46,graphe). int(46,metabolisme). ext(46,clemence). ext(46,anne). ext(46,nathalie). ext(46,lucas). 
concept(47).
int(47,optimisation). int(47,tf). int(47,graphe). int(47,biopax). int(47,adam). int(47,tgfbeta). int(47,proteine). int(47,signalisation). int(47,graphe_interaction). int(47,metabolisme). int(47,fca). int(47,matrice_extracell). int(47,ecologie_des_systemes). int(47,rdf). int(47,asp). ext(47,nathalie). specext(47,nathalie). 
concept(48).
int(48,optimisation). int(48,correlations). int(48,signalisation). int(48,puceron). int(48,python). int(48,matrice_extracell). int(48,fair_data). int(48,bacterie). int(48,tf). int(48,graphe). int(48,signature). int(48,proteine). int(48,graphe_interaction). int(48,metabolisme). int(48,grammaires). int(48,classification). int(48,ecologie_des_systemes). int(48,correlation). int(48,enzymes). int(48,apprentissage). int(48,gene_ontology). int(48,asp). int(48,visu3D). int(48,orthocis). int(48,plma). int(48,sparql). int(48,biopax). int(48,biologie_marine). int(48,adam). int(48,tgfbeta). int(48,transporteurs). int(48,orthology). int(48,askomics). int(48,fca). int(48,requete_federe). int(48,rdf). 
concept(49).
int(49,correlations). int(49,visu3D). int(49,enzymes). int(49,adam). int(49,transporteurs). int(49,signalisation). int(49,proteine). int(49,askomics). int(49,grammaires). int(49,classification). int(49,plma). int(49,correlation). int(49,apprentissage). int(49,gene_ontology). ext(49,francois_coste). specext(49,francois_coste). 
concept(50).
specint(50,apprentissage). specint(50,correlations). int(50,grammaires). int(50,proteine). int(50,enzymes). int(50,correlations). int(50,transporteurs). int(50,apprentissage). ext(50,juliette). ext(50,francois_coste). specext(50,juliette). 
concept(51).
int(51,optimisation). int(51,graphe). int(51,tgfbeta). int(51,graphe_interaction). int(51,puceron). int(51,fca). int(51,classification). int(51,asp). ext(51,jacques). ext(51,lucas). specext(51,jacques). 
concept(52).
int(52,optimisation). int(52,graphe). int(52,tgfbeta). int(52,graphe_interaction). int(52,puceron). int(52,metabolisme). int(52,python). int(52,fca). int(52,classification). int(52,rdf). int(52,asp). ext(52,lucas). specext(52,lucas). 
concept(53).
int(53,classification). int(53,biologie_marine). int(53,visu3D). int(53,plma). int(53,enzymes). int(53,metabolisme). ext(53,arnaud). specext(53,arnaud). 
concept(54).
specint(54,plma). specint(54,visu3D). int(54,plma). int(54,enzymes). int(54,classification). int(54,visu3D). ext(54,arnaud). ext(54,francois_coste). 
concept(55).
int(55,biologie_marine). int(55,enzymes). int(55,classification). int(55,metabolisme). ext(55,jeanne). ext(55,arnaud). 
concept(56).
int(56,enzymes). int(56,classification). ext(56,jeanne). ext(56,arnaud). ext(56,francois_coste). 
concept(57).
specint(57,enzymes). int(57,enzymes). ext(57,jeanne). ext(57,juliette). ext(57,arnaud). ext(57,francois_coste). 
concept(58).
int(58,bacterie). int(58,classification). int(58,biologie_marine). int(58,enzymes). int(58,rdf). int(58,metabolisme). ext(58,jeanne). specext(58,jeanne). 
concept(59).
specint(59,askomics). int(59,askomics). ext(59,olivier_dameron). ext(59,meline). ext(59,clemence). ext(59,marine). ext(59,francois_coste). ext(59,anne). ext(59,meziane). ext(59,xavier). ext(59,francois_moreews). ext(59,denis). specext(59,marine). 
concept(60).
specint(60,correlation). int(60,correlation). int(60,askomics). ext(60,olivier_dameron). ext(60,meline). ext(60,francois_coste). 
concept(61).
int(61,correlation). int(61,graphe). int(61,askomics). ext(61,olivier_dameron). ext(61,meline). specext(61,meline). 
concept(62).
int(62,graphe). int(62,askomics). ext(62,olivier_dameron). ext(62,francois_moreews). ext(62,anne). ext(62,clemence). ext(62,meline). 
concept(63).
specint(63,puceron). int(63,fca). int(63,classification). int(63,graphe_interaction). int(63,puceron). ext(63,jacques). ext(63,denis). ext(63,lucas). 
concept(64).
int(64,fca). int(64,classification). int(64,ecologie_des_systemes). int(64,graphe_interaction). int(64,puceron). int(64,askomics). ext(64,denis). specext(64,denis). 
concept(65).
specint(65,classification). int(65,classification). ext(65,jacques). ext(65,francois_coste). ext(65,jeanne). ext(65,denis). ext(65,arnaud). ext(65,lucas). 
concept(66).
int(66,classification). int(66,askomics). ext(66,denis). ext(66,francois_coste). 
concept(67).
int(67,ecologie_des_systemes). int(67,graphe_interaction). int(67,askomics). ext(67,clemence). ext(67,denis). ext(67,anne). ext(67,meziane). 
concept(68).
int(68,classification). int(68,metabolisme). ext(68,jeanne). ext(68,arnaud). ext(68,lucas). 
concept(69).
int(69,rdf). int(69,classification). int(69,metabolisme). ext(69,jeanne). ext(69,lucas). 
concept(70).
int(70,graphe). int(70,sparql). int(70,biopax). int(70,signature). int(70,signalisation). int(70,metabolisme). int(70,askomics). int(70,python). int(70,matrice_extracell). int(70,correlation). int(70,requete_federe). int(70,fair_data). int(70,gene_ontology). int(70,rdf). int(70,asp). ext(70,olivier_dameron). specext(70,olivier_dameron). 
concept(71).
specint(71,gene_ontology). int(71,correlation). int(71,signalisation). int(71,gene_ontology). int(71,askomics). ext(71,olivier_dameron). ext(71,francois_coste). 
concept(72).
int(72,grammaires). int(72,orthocis). int(72,orthology). int(72,tf). ext(72,catherine). specext(72,catherine). 
concept(73).
specint(73,grammaires). int(73,grammaires). ext(73,catherine). ext(73,juliette). ext(73,francois_coste). 
concept(74).
specint(74,sparql). int(74,rdf). int(74,sparql). ext(74,olivier_dameron). ext(74,meziane). ext(74,vijay). ext(74,xavier). 
concept(75).
int(75,rdf). int(75,sparql). int(75,askomics). ext(75,olivier_dameron). ext(75,meziane). ext(75,xavier). specext(75,xavier). 
concept(76).
int(76,rdf). int(76,askomics). ext(76,olivier_dameron). ext(76,francois_moreews). ext(76,anne). ext(76,meziane). ext(76,xavier). 
concept(77).
int(77,graphe). int(77,biologie_marine). int(77,transporteurs). int(77,graphe_interaction). int(77,metabolisme). int(77,askomics). int(77,ecologie_des_systemes). int(77,bacterie). int(77,asp). ext(77,clemence). specext(77,clemence). 
concept(78).
specint(78,transporteurs). int(78,transporteurs). ext(78,clemence). ext(78,juliette). ext(78,francois_coste). 
concept(79).
int(79,transporteurs). int(79,askomics). ext(79,clemence). ext(79,francois_coste). 
concept(80).
specint(80,bacterie). int(80,bacterie). int(80,metabolisme). ext(80,clemence). ext(80,anne). ext(80,meziane). ext(80,camille). ext(80,jeanne). ext(80,marie). 
concept(81).
int(81,bacterie). int(81,graphe_interaction). int(81,metabolisme). ext(81,clemence). ext(81,marie). ext(81,camille). ext(81,meziane). ext(81,anne). specext(81,camille). 
concept(82).
int(82,biologie_marine). int(82,bacterie). int(82,metabolisme). ext(82,marie). ext(82,clemence). ext(82,jeanne). ext(82,meziane). 
concept(83).
int(83,ecologie_des_systemes). int(83,biologie_marine). int(83,bacterie). int(83,graphe_interaction). int(83,metabolisme). ext(83,marie). ext(83,clemence). ext(83,meziane). specext(83,marie). 
concept(84).
int(84,sparql). int(84,biologie_marine). int(84,graphe_interaction). int(84,metabolisme). int(84,askomics). int(84,python). int(84,ecologie_des_systemes). int(84,bacterie). int(84,rdf). int(84,asp). ext(84,meziane). specext(84,meziane). 
concept(85).
int(85,bacterie). int(85,biologie_marine). int(85,ecologie_des_systemes). int(85,asp). int(85,graphe_interaction). int(85,metabolisme). int(85,askomics). ext(85,clemence). ext(85,meziane). 
concept(86).
int(86,biologie_marine). int(86,bacterie). int(86,rdf). int(86,metabolisme). ext(86,jeanne). ext(86,meziane). 
concept(87).
specint(87,biologie_marine). int(87,biologie_marine). int(87,metabolisme). ext(87,jeanne). ext(87,marie). ext(87,clemence). ext(87,arnaud). ext(87,meziane). 
concept(88).
specint(88,requete_federe). int(88,requete_federe). int(88,rdf). int(88,sparql). ext(88,olivier_dameron). ext(88,vijay). specext(88,vijay). 
concept(89).
specint(89,python). int(89,python). ext(89,olivier_dameron). ext(89,pierre_vignet). ext(89,meziane). ext(89,jeremy). ext(89,sebastien_letord). ext(89,sebastien_francois). ext(89,lucas). specext(89,sebastien_letord). specext(89,sebastien_francois). 
concept(90).
int(90,ecologie_des_systemes). int(90,bacterie). int(90,graphe_interaction). int(90,metabolisme). ext(90,clemence). ext(90,marie). ext(90,anne). ext(90,meziane). 
concept(91).
int(91,python). int(91,sparql). int(91,asp). int(91,rdf). int(91,metabolisme). int(91,askomics). ext(91,olivier_dameron). ext(91,meziane). 
concept(92).
int(92,tf). int(92,graphe). int(92,biopax). int(92,orthocis). int(92,orthology). int(92,askomics). int(92,fair_data). int(92,rdf). ext(92,francois_moreews). specext(92,francois_moreews). 
concept(93).
specint(93,fair_data). int(93,fair_data). int(93,graphe). int(93,rdf). int(93,biopax). int(93,askomics). ext(93,olivier_dameron). ext(93,francois_moreews). 
concept(94).
specint(94,signature). int(94,graphe). int(94,asp). int(94,signature). int(94,rdf). int(94,metabolisme). int(94,askomics). ext(94,olivier_dameron). ext(94,anne). 
concept(95).
int(95,graphe). int(95,signature). int(95,graphe_interaction). int(95,metabolisme). int(95,askomics). int(95,ecologie_des_systemes). int(95,bacterie). int(95,rdf). int(95,asp). ext(95,anne). specext(95,anne). 
concept(96).
specint(96,orthocis). specint(96,orthology). int(96,tf). int(96,orthocis). int(96,orthology). ext(96,catherine). ext(96,francois_moreews). 
concept(97).
int(97,python). int(97,biopax). int(97,asp). int(97,signalisation). int(97,rdf). int(97,metabolisme). ext(97,olivier_dameron). ext(97,pierre_vignet). 
concept(98).
int(98,python). int(98,rdf). int(98,metabolisme). int(98,asp). ext(98,olivier_dameron). ext(98,pierre_vignet). ext(98,meziane). ext(98,lucas). 
concept(99).
int(99,optimisation). int(99,python). int(99,biopax). int(99,asp). int(99,signalisation). int(99,rdf). int(99,metabolisme). ext(99,pierre_vignet). specext(99,pierre_vignet). 
concept(100).
int(100,python). int(100,optimisation). int(100,rdf). int(100,metabolisme). int(100,asp). ext(100,pierre_vignet). ext(100,lucas). 
concept(101).
int(101,python). int(101,fca). ext(101,jeremy). ext(101,lucas). specext(101,jeremy). 
concept(102).
int(102,python). int(102,graphe). int(102,rdf). int(102,metabolisme). int(102,asp). ext(102,olivier_dameron). ext(102,lucas). 
concept(103).
int(103,python). int(103,graphe_interaction). int(103,rdf). int(103,metabolisme). int(103,asp). ext(103,meziane). ext(103,lucas). 
concept(104).
int(104,bacterie). int(104,ecologie_des_systemes). int(104,asp). int(104,graphe_interaction). int(104,metabolisme). int(104,askomics). ext(104,clemence). ext(104,anne). ext(104,meziane). 
concept(105).
int(105,bacterie). int(105,graphe). int(105,ecologie_des_systemes). int(105,asp). int(105,graphe_interaction). int(105,metabolisme). int(105,askomics). ext(105,clemence). ext(105,anne). 
concept(106).
int(106,bacterie). int(106,ecologie_des_systemes). int(106,asp). int(106,graphe_interaction). int(106,rdf). int(106,metabolisme). int(106,askomics). ext(106,anne). ext(106,meziane). 
concept(107).
int(107,bacterie). int(107,rdf). int(107,metabolisme). ext(107,anne). ext(107,jeanne). ext(107,meziane). 
concept(108).
int(108,asp). int(108,metabolisme). int(108,askomics). ext(108,olivier_dameron). ext(108,clemence). ext(108,anne). ext(108,meziane). 
concept(109).
int(109,asp). int(109,graphe). int(109,metabolisme). int(109,askomics). ext(109,olivier_dameron). ext(109,anne). ext(109,clemence). 
concept(110).
int(110,graphe). int(110,rdf). int(110,askomics). ext(110,olivier_dameron). ext(110,francois_moreews). ext(110,anne). 
concept(111).
int(111,asp). int(111,rdf). int(111,metabolisme). int(111,askomics). ext(111,olivier_dameron). ext(111,anne). ext(111,meziane). 

dyliss(lucas,clemence,(asp;metabolisme;graphe)).
dyliss(lucas,meziane,(asp;metabolisme)).
dyliss(lucas,nathalie,(tgfbeta;graphe_interaction;fca)).
dyliss(lucas,jacques,(asp;classification;optimisation;puceron;tgfbeta;graphe_interaction;fca)).
dyliss(lucas,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(jacques,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(lucas,olivier_dameron,(rdf;asp;python)).
dyliss(lucas,julie_laniau,asp).
dyliss(jeremy,lucas,fca).
dyliss(lucas,(sebastien_letord;sebastien_francois;meziane;pierre_vignet;jeremy),python).
dyliss(clemence,olivier_dameron,askomics).
dyliss(marie,jeanne,metabolisme).
dyliss(meziane,(arnaud;clemence;marie;jeanne),(metabolisme;biologie_marine)).
dyliss(meziane,(pierre_vignet;lucas),(python;asp)).
dyliss((olivier_dameron;meziane;xavier),(olivier_dameron;meziane;xavier),askomics).
dyliss(jeanne,francois_coste,classification).
dyliss(xavier,(meziane;marine;francois_coste;olivier_dameron),askomics).

dyliss(nathalie,(jacques;lucas),(fca;asp;graphe;tgfbeta)).
dyliss(nathalie,(pierre_vignet;olivier_dameron),(biopax;metabolisme;rdf)).
dyliss(nathalie,catherine,tf).
dyliss(nathalie,francois_coste,(signalisation;proteine)).
dyliss(nathalie,maxime,(graphe;biopax;tgfbeta)).
dyliss(nathalie,pierre_vignet,(signalisation;optimisation)).
dyliss(francois_moreews,catherine,(tf;orthocis;orthology)).
dyliss(francois_moreews,olivier_dameron,(biopax;askomics)).
dyliss(francois_moreews,anne,graphe).

dyliss(olivier_dameron,francois_coste,(correlation;gene_ontology)).
dyliss(olivier_dameron,denis,askomics).
dyliss(olivier_dameron,jacques,asp).
dyliss(olivier_dameron,anne,(metabolisme;signature;asp;askomics;rdf)).
dyliss(olivier_dameron,nathalie,(signalisation;matrice_extracell)).
dyliss(olivier_dameron,jeanne,rdf).
dyliss(olivier_dameron,francois_moreews,(biopax;rdf;fair_data)).
dyliss(olivier_dameron,denis,askomics).

dyliss(olivier_dameron,lucas,(asp;graphe)).
dyliss(olivier_dameron,(meziane;xavier),(rdf;sparql)).
dyliss(olivier_dameron,pierre_vignet,biopax).
dyliss(olivier_dameron,vijay,(sparql;requete_federe)).
dyliss(olivier_dameron,(marine;meline),askomics).
dyliss(olivier_dameron,meline,(graphe;correlation)).


dyliss(marie, olivier_dameron, metabolisme).
dyliss(marie, anne, metabolisme).
dyliss(marie, anne, bacterie).
dyliss(marie, anne, graphe_interaction).
dyliss(marie, anne, ecologie_des_systemes).
dyliss(marie, nathalie, ecologie_des_systemes).
dyliss(marie, jeanne, metabolisme).
dyliss(marie, jeanne, bacterie).

% % dyliss(marie, jeremie, metabolisme).
% % dyliss(marie, jeremie, ecologie des systemes).
% % dyliss(marie, damien, metabolisme).
% % dyliss(marie, damien, graphe_interaction).
% % dyliss(marie, damien, bacterie).
% % dyliss(marie, damien, ecologie des systemes).
dyliss(marie, denis, ecologie_des_systemes).
dyliss(marie, clemence, metabolisme).
dyliss(marie, clemence, bacterie).
dyliss(marie, clemence, graphe_interaction).
dyliss(marie, clemence, ecologie_des_systemes).
dyliss(marie, julie, metabolisme).
dyliss(marie, julie, graphe_interaction).
dyliss(marie, meziane, metabolisme).
dyliss(marie, meziane, bacterie).
dyliss(marie, meziane, graphe_interaction).
dyliss(marie, meziane, ecologie_des_systemes).
dyliss(marie, camille, metabolisme).
dyliss(marie, camille, bacterie).
dyliss(marie, camille, graphe_interaction).
dyliss(marie, pierre, metabolisme).

dyliss(francois_coste,juliette,(correlations;grammaires;proteine;enzymes;transporteurs;apprentissage)).
dyliss(francois_coste,arnaud,(plma;enzymes;visu3D;classification)).
dyliss(francois_coste,clemence,transporteurs).
dyliss(francois_coste,jeanne,enzymes).
dyliss(francois_coste,catherine,grammaires).
dyliss(francois_coste,olivier_dameron,gene_ontology).
dyliss(francois_coste,nathalie,adam).
% % dyliss(francois_coste,_,python).

% dyliss(maxime,(nathalie;anne),(biopax;tgfbeta;graphe)).
% dyliss(maxime,pierre_vignet,biopax).
% dyliss(maxime,clemence,(asp;metabolisme;interpretation_abstraite;optimisation)).


% dyliss(mael,arnaud,(python;java)).
% dyliss(mael,arnaud,meziane,(biologie_marine;metabolisme)).
% dyliss(mael,anne,nathalie,(graphe;enzymes;metabolisme)).
% dyliss(mael,anne,nathalie,expression).
% dyliss(mael,anne,xavier,askomics).

% dyliss(juliette,arnaud,(visu3D;alignement)).
% dyliss(juliette,meline,r).

% dyliss(meline,anne,olivier_dameron,(signature;sante;graphe;fca)).
% dyliss(marine,anne,olivier_dameron,(tf;askomics)).

% dyliss(arnaud,(anne;jeanne;jacques;francois_coste;juliette),classification).
% dyliss(arnaud,(anne;meziane;clemence;jeanne),(metabolisme;algue)).
% dyliss(arnaud,anne,jacques,asp).
% dyliss(arnaud,mael,(biologie_marine;metabolisme)).
% dyliss(catherine,catherine,arn).


% undirected graph.
dyliss(A,B,S):- dyliss(B,A,S).

% triplets of human
dyliss(A,B,S):- dyliss(A,B,_,S).
dyliss(A,C,S):- dyliss(A,_,C,S).
dyliss(B,C,S):- dyliss(_,B,C,S).

% implications.
dyliss(A,B,rdf):- dyliss(A,B,sparql).

% every humans.
human(A):- dyliss(A,_,_).


% subjects for particular human.
% sujet(lucas,(asp;classification;optimisation;graphe_interaction;fca;python)).

%link(A,B):- dyliss(A,B,_).%color(A,B,green):- dyliss(A,B,_).

rel(A,S):- dyliss(A,_,S).
















dyliss(lucas,clemence,(asp;metabolisme;graphe)).
dyliss(lucas,meziane,(asp;metabolisme)).
dyliss(lucas,nathalie,(tgfbeta;graphe_interaction;fca)).
dyliss(lucas,jacques,(asp;classification;optimisation;puceron;tgfbeta;graphe_interaction;fca)).
dyliss(lucas,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(jacques,denis,(puceron;graphe_interaction;classification;fca)).
dyliss(lucas,olivier_dameron,(rdf;asp;python)).
dyliss(lucas,julie_laniau,asp).
dyliss(jeremy,lucas,fca).
dyliss(lucas,(sebastien_letord;sebastien_francois;meziane;pierre_vignet;jeremy),python).
dyliss(clemence,olivier_dameron,askomics).
dyliss(marie,jeanne,metabolisme).
dyliss(meziane,(arnaud;clemence;marie;jeanne),(metabolisme;biologie_marine)).
dyliss(meziane,(pierre_vignet;lucas),(python;asp)).
dyliss((olivier_dameron;meziane;xavier),(olivier_dameron;meziane;xavier),askomics).
dyliss(jeanne,francois_coste,classification).
dyliss(xavier,(meziane;marine;francois_coste;olivier_dameron),askomics).

dyliss(nathalie,(jacques;lucas),(fca;asp;graphe;tgfbeta)).
dyliss(nathalie,(pierre_vignet;olivier_dameron),(biopax;metabolisme;rdf)).
dyliss(nathalie,catherine,tf).
dyliss(nathalie,francois_coste,(signalisation;proteine)).
dyliss(nathalie,maxime,(graphe;biopax;tgfbeta)).
dyliss(nathalie,pierre_vignet,(signalisation;optimisation)).
dyliss(francois_moreews,catherine,(tf;orthocis;orthology)).
dyliss(francois_moreews,olivier_dameron,(biopax;askomics)).
dyliss(francois_moreews,anne,graphe).

dyliss(olivier_dameron,francois_coste,(correlation;gene_ontology)).
dyliss(olivier_dameron,denis,askomics).
dyliss(olivier_dameron,jacques,asp).
dyliss(olivier_dameron,anne,(metabolisme;signature;asp;askomics;rdf)).
dyliss(olivier_dameron,nathalie,(signalisation;matrice_extracell)).
dyliss(olivier_dameron,jeanne,rdf).
dyliss(olivier_dameron,francois_moreews,(biopax;rdf;fair_data)).
dyliss(olivier_dameron,denis,askomics).

dyliss(olivier_dameron,lucas,(asp;graphe)).
dyliss(olivier_dameron,(meziane;xavier),(rdf;sparql)).
dyliss(olivier_dameron,pierre_vignet,biopax).
dyliss(olivier_dameron,vijay,(sparql;requete_federe)).
dyliss(olivier_dameron,(marine;meline),askomics).
dyliss(olivier_dameron,meline,(graphe;correlation)).


dyliss(marie, olivier_dameron, metabolisme).
dyliss(marie, anne, metabolisme).
dyliss(marie, anne, bacterie).
dyliss(marie, anne, graphe_interaction).
dyliss(marie, anne, ecologie_des_systemes).
dyliss(marie, nathalie, ecologie_des_systemes).
dyliss(marie, jeanne, metabolisme).
dyliss(marie, jeanne, bacterie).

% % dyliss(marie, jeremie, metabolisme).
% % dyliss(marie, jeremie, ecologie des systemes).
% % dyliss(marie, damien, metabolisme).
% % dyliss(marie, damien, graphe_interaction).
% % dyliss(marie, damien, bacterie).
% % dyliss(marie, damien, ecologie des systemes).
dyliss(marie, denis, ecologie_des_systemes).
dyliss(marie, clemence, metabolisme).
dyliss(marie, clemence, bacterie).
dyliss(marie, clemence, graphe_interaction).
dyliss(marie, clemence, ecologie_des_systemes).
dyliss(marie, julie, metabolisme).
dyliss(marie, julie, graphe_interaction).
dyliss(marie, meziane, metabolisme).
dyliss(marie, meziane, bacterie).
dyliss(marie, meziane, graphe_interaction).
dyliss(marie, meziane, ecologie_des_systemes).
dyliss(marie, camille, metabolisme).
dyliss(marie, camille, bacterie).
dyliss(marie, camille, graphe_interaction).
dyliss(marie, pierre, metabolisme).

dyliss(francois_coste,juliette,(correlations;grammaires;proteine;enzymes;transporteurs;apprentissage)).
dyliss(francois_coste,arnaud,(plma;enzymes;visu3D;classification)).
dyliss(francois_coste,clemence,transporteurs).
dyliss(francois_coste,jeanne,enzymes).
dyliss(francois_coste,catherine,grammaires).
dyliss(francois_coste,olivier_dameron,gene_ontology).
dyliss(francois_coste,nathalie,adam).
% % dyliss(francois_coste,_,python).

% dyliss(maxime,(nathalie;anne),(biopax;tgfbeta;graphe)).
% dyliss(maxime,pierre_vignet,biopax).
% dyliss(maxime,clemence,(asp;metabolisme;interpretation_abstraite;optimisation)).


% dyliss(mael,arnaud,(python;java)).
% dyliss(mael,arnaud,meziane,(biologie_marine;metabolisme)).
% dyliss(mael,anne,nathalie,(graphe;enzymes;metabolisme)).
% dyliss(mael,anne,nathalie,expression).
% dyliss(mael,anne,xavier,askomics).

% dyliss(juliette,arnaud,(visu3D;alignement)).
% dyliss(juliette,meline,r).

% dyliss(meline,anne,olivier_dameron,(signature;sante;graphe;fca)).
% dyliss(marine,anne,olivier_dameron,(tf;askomics)).

% dyliss(arnaud,(anne;jeanne;jacques;francois_coste;juliette),classification).
% dyliss(arnaud,(anne;meziane;clemence;jeanne),(metabolisme;algue)).
% dyliss(arnaud,anne,jacques,asp).
% dyliss(arnaud,mael,(biologie_marine;metabolisme)).
% dyliss(catherine,catherine,arn).


% undirected graph.
dyliss(A,B,S):- dyliss(B,A,S).

% triplets of human
dyliss(A,B,S):- dyliss(A,B,_,S).
dyliss(A,C,S):- dyliss(A,_,C,S).
dyliss(B,C,S):- dyliss(_,B,C,S).

% implications.
dyliss(A,B,rdf):- dyliss(A,B,sparql).

% every humans.
human(A):- dyliss(A,_,_).


% subjects for particular human.
% sujet(lucas,(asp;classification;optimisation;graphe_interaction;fca;python)).