GitHub · Where software is built

Labels Milestones New issue

Dependency Dashboard

#29

· renovate opened

on Nov 14, 2024

Make Python `IOBase`s acceptable in place of Java's `InputStream`s and `Reader`s in `TermReader` and `ClausesReader`

#15

· gciatto opened

on Sep 16, 2021

·

Make 2ppy a Pythonic library

Port public API of `it.unibo.tuprolog.collections` (from module `:theory`)

#14

· gciatto opened

on Sep 16, 2021

·

Make 2ppy a Pythonic library

Test public API of `tuprolog.solve`

#13

· gciatto opened

on Sep 16, 2021

·

General usability

Test public API of `tuprolog.theory`

#12

· gciatto opened

on Sep 16, 2021

·

General usability

Test public API of `tuprolog.unify`

#11

· gciatto opened

on Sep 16, 2021

·

General usability

Test public API of `tuprolog.core`

#10

· gciatto opened

on Sep 16, 2021

·

General usability

Make types in `tuprolog.solve` pythonic

#9

· gciatto opened

on Sep 16, 2021

·

Make 2ppy a Pythonic library

Make types in `tuprolog.theory` pythonic

#8

· gciatto opened

on Sep 16, 2021

·

Make 2ppy a Pythonic library

Make types in `tuprolog.unify` pythonic

#7

· gciatto opened

on Sep 16, 2021

·

Make 2ppy a Pythonic library

Make types in `tuprolog.core` pythonic

#6

· gciatto opened

on Sep 16, 2021

·

Make 2ppy a Pythonic library

Make public API of primitives in `:solve` available

#5

· gciatto opened

on Sep 16, 2021

·

Make 2ppy a Pythonic library