facetas

Baliabideak > prolog

    sortFiltrar Ordenar
    1 emaitzak

    Hiperesteka

    /

    2012.5.28 noiz Equipo GNOSS

    Euler Proof Mechanism

    Euler es un motor de inferencia de apoyo basado ​​en la lógica pruebas.
    Cuenta con implementaciones en Java, C #, Python, Javascript y Prolog.

    A través de N3 es interoperable con W3C Cwm.
     

    ...