Subgraph Isomorphism: Prolog vs. Conventional
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914250055745536 |
|---|---|
| author | Yin, Claire Y. Kogge, Peter M. |
| author_facet | Yin, Claire Y. Kogge, Peter M. |
| contents | Subgraph Isomorphism uses a small graph as a pattern to identify within a larger graph a set of vertices that have matching edges. This paper addresses a logic program written in Prolog for a specific relatively complex graph pattern for which multiple conventional implementations (including parallel) exist. The goal is to understand the complexity differences between programming logically and programming conventionally. Discussion includes the process of converting the graph pattern into logic statements in Prolog, and the resulting characteristics as the size of the graph increased. The analysis shows that using a logic paradigm is an efficient way to attack complex graph problems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_13600 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Subgraph Isomorphism: Prolog vs. Conventional Yin, Claire Y. Kogge, Peter M. Logic in Computer Science Data Structures and Algorithms Subgraph Isomorphism uses a small graph as a pattern to identify within a larger graph a set of vertices that have matching edges. This paper addresses a logic program written in Prolog for a specific relatively complex graph pattern for which multiple conventional implementations (including parallel) exist. The goal is to understand the complexity differences between programming logically and programming conventionally. Discussion includes the process of converting the graph pattern into logic statements in Prolog, and the resulting characteristics as the size of the graph increased. The analysis shows that using a logic paradigm is an efficient way to attack complex graph problems. |
| title | Subgraph Isomorphism: Prolog vs. Conventional |
| topic | Logic in Computer Science Data Structures and Algorithms |
| url | https://arxiv.org/abs/2511.13600 |