hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Syntax and semantics of logic programming
Logic programming is a programming paradigm that includes languages based on formal logic, including Datalog and Prolog. This article describes the syntax and semantics of the purely declarative subset of these languages. Confusingly, the name "logic programming" also refers to a specific programming language that roughly corresponds to the declarative subset of Prolog. Unfortunately, the term must be used in both senses in this article.

Declarative logic programs consist entirely of rules of the form

Each such rule can be read as an implication:

meaning "If each  is true, then  is true". Logic programs compute the set of facts that are implied by their rules.

Many implementations of Datalog, Prolog, and related languages add procedural features such as Prolog's cut operator or extra-logical features such as a foreign function interface. The formal semantics of such extensions are beyond the scope of this article.

Foreign function interface
A foreign function interface (FFI) is a mechanism by which a program written in one programming language can call interoperable routines or make use of services written or compiled in another one. An FFI is often used in contexts where calls are made into a binary dynamic-link library.
Jonathan Meades
Jonathan Turner Meades (born 21 January 1947) is an English writer and film-maker. His work spans journalism, fiction, essays, memoir and over fifty television films, mainly for the BBC. His most recent novel, Empty Wigs, was published in February 2025.

He has described himself as a "cardinal of atheism" and is both an Honorary Associate of the National Secular Society and a Patron of Humanists UK.

Meades was elected a Fellow of the Royal Society of Literature in 2019.

Oldbury, West Midlands
Oldbury is a market town in the metropolitan borough of Sandwell, in the county of the West Midlands, England. It is the administrative centre of the borough. At the 2011 census, the town had a population of 13,606, while the 2017 population of the wider built-up area was estimated at 25,488. Sandwell Metropolitan Borough Council, which defines Oldbury Town as consisting of the wards of Bristnall, Langley, Oldbury, and Old Warley, gave the population as 50,641 in 2011.
2024 Ilkley Trophy – Women's doubles
Nao Hibino and Natalija Stevanović were the defending champions but chose not to participate.

Kristina Mladenovic and Elena-Gabriela Ruse won the title, defeating Quinn Gleason and Tang Qianhui in the final, 6–2, 6–2.

Tang Qianhui
Tang Qianhui (Chinese: 汤千惠; pinyin: Tāng Qiānhuì; Mandarin pronunciation: [tʰáŋ tɕʰjɛ́n xwêɪ]; born 10 September 2000) is a Chinese tennis player.
She has a career-high singles ranking of world No. 617, achieved on 24 June 2019. She peaked at No. 64 in the doubles rankings on 22 September 2025. Tang has won three doubles titles on the WTA Tour and 17 on the ITF Women's Circuit.
Student boilersuit
Student boilersuit (Swedish studentoverall or studenthalare, Finnish opiskelijahaalari, Canadian flightsuit or coveralls or redsuits) are boilersuits widely used for specific events at universities and polytechnics in Sweden, Finland, and Canada. Typically, the suits are procured by the student associations of faculties or programmes. At the major Swedish universities (like Lund or Uppsala) the use of boilersuits is limited to engineering students, however at Stockholm they are also worn by students of other programs, but their use has spread to students in other fields at some of the smaller university colleges. In Finland, boilersuits have also been foremost identified with engineering students, but see extensive use in all of the student organizations of Finnish institutions of higher learning, such as the University of Helsinki and Aalto University.

Faculty (division)
A faculty or academic division is an academic and administrative unit within a university or college comprising one subject area or a group of related subject areas, possibly also delimited by level (e.g. undergraduate). In North America, academic divisions are sometimes titled colleges, schools, or departments, with universities occasionally using a mixture of terminology, e.g., Harvard University has a Faculty of Arts and Sciences and a Law School.
2013 History 300
The 2013 History 300 was the tenth stock car race of the 2013 NASCAR Nationwide Series and the 32nd iteration of the event. The race was held on Saturday, May 25, 2013, in Concord, North Carolina at Charlotte Motor Speedway, a 1.5 miles (2.4 km) permanent quad-oval. The race took the scheduled 200 laps to complete. At race's end, Kyle Busch, driving for Joe Gibbs Racing, would dominate the race to win his 57th career NASCAR Nationwide Series win, his sixth of the season, and his second consecutive win. To fill out the podium, Kasey Kahne of JR Motorsports and Joey Logano of Penske Racing would finish second and third, respectively.

JR Motorsports
JR Motorsports (pronounced "Junior Motorsports") is an American professional stock car racing team based in Mooresville, North Carolina, co-owned by Dale Earnhardt Jr., Kelley Earnhardt Miller, L. W. Miller, and Rick Hendrick. It currently competes in the NASCAR Cup Series, NASCAR O'Reilly Auto Parts Series, eNASCAR Coca-Cola iRacing Series, CARS Late Model Stock Tour, and occasionally in the NASCAR Local Racing Series Powered by O'Reilly Auto Parts.

The team fields the No. 40 Chevrolet Camaro ZL1 part-time at the NASCAR Cup Series for Justin Allgaier. The also team fields four full-time entries in the O'Reilly Auto Parts Series: the No. 1 Chevrolet Camaro SS full-time for Carson Kvapil and Connor Zilisch, the No. 7 full-time for Allgaier, the No. 8 full-time for Sammy Smith, the No. 88 full-time for multiple drivers, as well as the No. 9 part-time for multiple drivers. The team fields the No. 88 Chevrolet full-time in the CARS Late Model Stock Tour for Caden Kvapil.
Ini Ellam Sugame
Ini Ellam Sugame is a 1998 Indian Tamil-language romance film directed by A. R. Ramesh. The film stars Abbas, Sanghavi and Sruthi Raj, with R. Sundarrajan, Jai Ganesh and K. R. Vatsala playing supporting roles. It was released on 18 March 1998.

Jai Ganesh
Jai Ganesh (1946 – 12 February 2001) was an Indian actor who appeared in Tamil plays and films. He had supporting roles in the films  Aval Oru Thodar Kathai and Aattukara Alamelu, among others. His most popular roles have been as a supporting actor or as a villain in films such as Thaayillamal Naan Illai (1979) and Athisaya Piravi (1990). He acted as a child artiste in films like Sampoorna Ramayanam and Missiamma.

Jai Ganesh was born as Aarumugam, sixth son to Kuppusamy and Chellamma.

He was reintroduced into the film industry by director K. Balachander in Aval Oru Thodar Kathai. From then on, he acted in many films as hero and also as character actor. Some of his famous films in 1970s are Neeya, Pilot Premnath, Vattathukkul Sathuram and Vanakathukuriya Kathaliyae& Azhage unnai Aradhikkiren.
Ticket to Ride (video game)
The term Ticket to Ride Video Game is a general description for any digital game that emulates the games of the Ticket to Ride board game franchise created by Alan R. Moon. The video games are based on that franchise's maps, with the same rules. The current edition is available on six of the major platforms, i.e. PlayStation, Xbox (Xbox 360 and Xbox one), Steam (PC and Mac), Google Play, Apple iOS (IPad, IPhone, and IPod Touch), and Nintendo Switch, and was developed by Marmalade Game Studio, Days of Wonder, Asmodee and Twin Sails Interactive, a rebranding of the delisted original release by Twin Sails Interactive., now known as the "Classic Edition".

Alan R. Moon
Alan R. Moon (born 18 November 1951) is a British game designer best known for creating the turn-based strategy game Ticket to Ride. He is generally considered to be one of the foremost designers of German-style board games.  Many of his games can be seen as board game variations on the travelling salesman problem.
Chandler Regional Airport
Chandler Regional Airport (ICAO: KCQB, FAA LID: CQB) is a city-owned, public-use airport located three nautical miles (6 km) northeast of the central business district of Chandler, a city in Lincoln County, Oklahoma, United States. It is included in the National Plan of Integrated Airport Systems for 2011–2015, which categorized it as a general aviation facility.

Although most U.S. airports use the same three-letter location identifier for the FAA and IATA, this airport is assigned CQB by the FAA, but has no designation from the IATA.

Chandler, Oklahoma
Chandler (Meskwaki: Chêninêheki) is a city in and the county seat of Lincoln County, Oklahoma, United States. and is part of the Oklahoma City Metropolitan Area. The population was 2,858 at the time of the 2020 census.  Chandler is located northeast of Oklahoma City on SH-66 and I-44, and north of Shawnee on SH-18.
Supergirl (Cir-El)
Supergirl (also known as Cir-El or Mia) is a superheroine appearing in American comic books published by DC Comics. Created by writer Steven Seagle and artist Scott McDaniel, she first appeared in Superman: The 10¢ Adventure #1 (2003) as the alleged daughter of Superman. She is later found to be a human girl who was genetically altered by the villain Brainiac to appear Kryptonian.

The character apparently disappears from the present when she enters a time stream, traveling to another timeline, to thwart a plot involving Brainiac 13. Although after her disappearance Cir-El has subsequently appeared in other stories set in the main timeline, even meeting the other Supergirls in Superman/Batman (vol. 1) #24, proving that she is still alive. Later DC events that restore the concept of an infinite multiverse and different universes and timelines coexisting at the same time, such as Dark Nights: Death Metal and Dark Crisis, seemingly prove this.

Steven T. Seagle
Steven T. Seagle is an American writer who works in the comic book, television, film, live theater, video game and animation industries.

He is best known for his graphic novel memoir It's a Bird... (Vertigo, May 2004), and as part of his Man of Action Studios (with Duncan Rouleau, Joe Casey and Joe Kelly) which created the animated Cartoon Network series Ben 10.

Seagle is also a founding member of Speak Theater Arts, creators of live stage productions, and is a former college instructor having taught at Ball State University, Pasadena City College and Mt. San Antonio College, where he also served as a coach for the Forensics team during many of their national championship seasons.
2007 WPA World Eight-ball Championship
The 2007 WPA World Eight-ball Championship was an eight-ball world championship, organized by the World Pool-Billiard Association (WPA), and held 1–8 March 2007 at the Fujairah Exhibition Centre of the Al Diar Siji Hotel in Fujairah, United Arab Emirates. A total of 64 players competed in the tournament.

The event was won by Ronato Alcano, who defeated Dennis Orcollo in the final 11–8.

World Pool Association
The World Pool Association (WPA) is the international governing body for pool (pocket billiards). It was formed in 1987, and was initially headed by a provisional board of directors consisting of representatives from Australia, the Americas, Africa, and Europe. As of 2023, the WPA president is Ishaun Singh of South Africa. It is an associate of the World Confederation of Billiards Sports (WCBS), the international umbrella organization that encompasses the major cue sports. WPA is headquartered in Gauteng, South Africa.
Goderdzi Shvelidze
Goderdzi Shvelidze (born 17 April 1978, in Rustavi) is a former Georgian rugby union player. He played as a prop.

He played for the Georgian Army club and the Georgia national rugby union team. He played at club level in France for Béziers, Clermont Auvergne, Montauban, Montpellier, and Brive.

He had 64 caps for Georgia, with 7 tries, 35 points on aggregate.

Rustavi
Rustavi (Georgian: რუსთავი [ɾustʰavi]) is a city in the southeast of Georgia, in the region of Kvemo Kartli and 20 km (12 mi) south of the capital Tbilisi. It has a population of 127,154 (January 2024), making it the third most populous city in Georgia. Its economy is dominated by the Rustavi Metallurgical Plant.
Meitei script movement
Meitei script movement, also called Meetei script movement (sometimes also referred to as Manipuri script movement), is a series of cultural wars and campaigns, undertaken by various cultural and sociopolitical associations and organisations as well as notable individual personalities, against the Government of Manipur and other authorities concerned, regarding the revivalism and the development of the Meitei script.

Culture war
A culture war is a form of cultural conflict (metaphorical war) between different social groups who struggle to politically impose their own ideology upon mainstream society, or upon the other. In political usage, culture war is a metaphor for "hot-button" politics about values and ideologies, realized with intentionally adversarial social narratives meant to provoke political polarization among the mainstream of society over economic matters, such as those of public policy, as well as of consumption. As practical politics, a culture war is about social policy wedge issues that are based on abstract arguments about values, morality, and lifestyle meant to provoke political cleavage in a multicultural society.
Superteams in the NBA
A superteam in the National Basketball Association (NBA) is an arbitrary term to describe a team that uses player acquisitions (via trades or free agency) in a short period of time to create a higher than average concentration of top-level players. While there is no official definition, it is generally viewed as a team with three or more Hall of Fame, All-NBA, or perennial All-Star players that join together to pursue an NBA championship.

Bob McAdoo
Robert Allen McAdoo Jr. (/ˈmækəˌdu/ MAK-ə-doo; born September 25, 1951) is an American former professional basketball player and coach. He played 14 seasons in the National Basketball Association (NBA), where he was a five-time NBA All-Star and named the NBA Most Valuable Player (MVP) in 1975. He won two NBA championships with the Los Angeles Lakers during their Showtime era in the 1980s. In 2000, McAdoo was inducted into the Naismith Basketball Hall of Fame. He was named to the NBA 75th Anniversary Team in 2021.

McAdoo played center for the majority of his career. In his 21-season playing career, he spent 14 seasons in the NBA and his final seven in the Lega Basket Serie A in Italy. McAdoo is one of the few players who have won both NBA and the FIBA European Champions Cup (EuroLeague) titles as a player. He later won three more NBA titles in 2006, 2012 and 2013 as an assistant coach with the Miami Heat.
BYD Han L
The BYD Han L (Chinese: 比亚迪汉L) is a full-size sedan manufactured by BYD Auto since 2025. It is available with battery electric (EV) and plug-in hybrid (DM-i) powertrains. It is part of the BYD Han series.

Full-size car
Full-size car, also known as large car, is a vehicle size class which originated in the United States and is used for cars larger than mid-size cars. It is the largest size class for cars. In the United Kingdom, this class is referred to as the executive car, while in Europe, it is known as E-segment or F-segment.
John W. Mitchell (United States Air Force)
John William Mitchell (June 14, 1914 – November 15, 1995) was an officer of the United States Air Force, a flying ace and the leader of Operation Vengeance, the mission to shoot down Admiral Isoroku Yamamoto. He served in World War II and the Korean War.

339th Flight Test Squadron
The 339th Flight Test Squadron is a United States Air Force unit based at Robins Air Force Base, Georgia.    It is part of the Warner Robins Air Logistics Center, with a mission to certify aircraft as worthy to return to service. The squadron is responsible for conducting flight tests on the Lockheed C-130 Hercules, the Lockheed C-5 Galaxy and McDonnell Douglas F-15 Eagle after program depot maintenance is completed.

Along with their flight test responsibilities, the squadron also picks up and delivers aircraft, including battle-damaged aircraft, to locations where they are needed or can be repaired.

During World War II, the squadron was given, and successfully carried out, the assignment to shoot down the plane carrying Imperial Japanese Navy Admiral Isoroku Yamamoto in Operation Vengeance.
Gabriela Rivadeneira
Gabriela Alejandra Rivadeneira Burbano (born 25 July 1983) is an Ecuadorian politician. She was President of the National Assembly of Ecuador between May 2013 and May 2017. Previously she was Governor of Imbabura Province from 2011 to 2012.

She was the executive secretary of the PAIS Alliance between 1 May 2017 and 2018. During the Correa-Moreno split within PAIS, she sided with the former, leaving the party and becoming one of the leaders of the Citizen Revolution Movement.

Imbabura Province
Imbabura (Spanish pronunciation: [imbaˈβuɾa]) is a province located in the Andes of northern Ecuador.  The capital is Ibarra. The people of the province speak Spanish, and a large portion of the population also speak the Imbaburan Kichwa variety of the Quechua language.

The summit of Cotacachi Volcano at an elevation of 4,944 metres (16,220 ft) is 15 kilometres (9.3 mi) north-east of the town of Cotacachi. The volcano is located in the large Cotacachi Cayapas Ecological Reserve.

Imbabura Volcano is also located in the province.  Best reached from the town of La Esperanza, the 4,609 metres (15,121 ft) high mountain can be climbed in a single day.
Bill Staines
William Russell Staines (February 6, 1947 – December 5, 2021) was an American folk musician and singer-songwriter from New Hampshire who wrote and performed songs with a wide array of subjects. Called "the Woody Guthrie of my generation" by singer-songwriter Nanci Griffith, he also wrote and recorded children's songs.

Children's song
A children's song may be a nursery rhyme set to music, a song that children invent and share among themselves or a modern creation intended for entertainment, use in the home or education. Although children's songs have been recorded and studied in some cultures more than others, they appear to be universal in human society.

Criteria for a children's song include child-friendly lyrics and a melody appropriate to the lyrics, whose range does not exceed the child's vocal range. Furthermore, the song should be written in a key suitable for the child's voice.

In folklore, the term "children's songs" is sometimes also used to refer to nursery rhymes.
Fain (surname)
Fain is a French surname, and it derived from the Latin Fanum meaning 'temple'. Notable people with the surname include:

Agathon Jean François Fain (1778–1837), French historian

Ben Fain (1903–1976), American bridge player

Benjamin Fain (1930–2013), Israeli physicist

Ferris Fain (1921–2001), American baseball player

Harry Fain (1918–2007), American lawyer

Holley Fain (born 1981), American actress

Joe Fain (born 1980), American politician

Katja Fain (born 2001), Slovenian swimmer

Lisa Fain, American food writer

Mark Fain, American musician

Melanie Fain (born 1958), American printmaker

Rhea Fain, NASCAR team owner

Richard Fain (born 1968), American football player

Sammy Fain (1902–1989), American composer

Sarah Fain, American writer and producer

Sarah Lee Fain (1888–1962), American schoolteacher and politician

Shawn Fain (born 1968 or 1969), American labor leader

Tim Fain, American violinist

Katja Fain
Katja Fain (born 31 August 2001) is a Slovenian swimmer. She won a bronze medal in the 200 metre freestyle at the 2021 European Short Course Championships. She represented Slovenia at the 2020 and 2024 Summer Olympics.
Windeck Castle (Bühl)
Windeck Castle (German: Burg Windeck), also Old Windeck Castle (Burg Alt-Windeck), is a ruined Black Forest spur castle which stands on a  378-metre-high spur in the Bühl district of  Kappelwindeck, in the county of Rastatt in the German state of Baden-Württemberg.

Black Forest
The Black Forest (German: Schwarzwald [ˈʃvaʁtsvalt] ⓘ) is a large forested mountain range in the state of Baden-Württemberg in southwest Germany, bounded by the Rhine Valley to the west and south and close to the borders with France and Switzerland. It is the source of the Danube and Neckar rivers.

Its highest peak is the Feldberg with an elevation of 1,493 metres (4,898 ft) above sea level. Roughly oblong in shape, with a length of 160 kilometres (100 miles) and breadth of up to 50 km (30 mi), it has an area of about 6,009 km2 (2,320 sq mi).

Historically, the area was known for forestry and the mining of ore deposits, but tourism has now become the primary industry, accounting for around 300,000 jobs. There are several ruined military fortifications dating back to the 17th century.
Daunian pottery
Daunian pottery was produced in Daunia, located in the modern Italian provinces of Barletta-Andria-Trani and Foggia. It was created by the Daunians, a tribe of the Iapygian civilization who had probably migrated from Illyria.

Province of Barletta-Andria-Trani
The province of Barletta-Andria-Trani (Italian: Provincia di Barletta-Andria-Trani, Neapolitan: Pruvincia 'e Barletta-Andria-Trani) is a province in the region of Apulia in Italy. The establishment of the province took effect in June 2009, and Andria was appointed as its seat of government on 21 May 2010.

It was created from 10 municipalities, which were formerly in the provinces of Bari and Foggia, taking its name from the three cities which share the new province's administrative functions. The population is 376,561 as of 2025.
28th Indian Brigade
The 28th Indian Brigade was an infantry brigade of the British Indian Army that saw active service with the Indian Army during the First World War.  Formed in October 1914, it defended the Suez Canal in early 1915, ended the Ottoman threat to Aden in July 1915, took part in the Mesopotamian Campaign in 1916 and 1917, before finishing the war in the Sinai and Palestine Campaign.  It remained in Palestine until it was broken up in 1920.

2nd (Rawalpindi) Division
The 2nd (Rawalpindi) Division was a regular army division of the British Indian Army. It was formed in 1903 after the Kitchener reforms of the Indian Army. During World War I it remained in India for local defence but it was mobilised for action on the North West Frontier on several occasions during the period.  The Division was mobilised in 1919 for service during the Third Afghan War.
Historic bridges of the Atlanta area
There were several historic bridges around the metro Atlanta, Georgia area, for which many of its current-day roads are named.  Many of them originated as ferries, dating back to the 1820s and 1830s, and carrying travelers across the Chattahoochee River and several other smaller rivers.  Several were also covered bridges, very few of which remain as historic sites.

Covered bridge
A covered bridge is a timber-truss bridge with a roof, decking, and siding, which in most covered bridges create an almost complete enclosure. The purpose of the covering is to protect the wooden structural members from the weather. Uncovered wooden bridges typically have a lifespan of only 20 years because of the effects of rain and sun, but a covered bridge can last over 100 years. In the United States, only about 1 in 10 survived the 20th century. The relatively small number of surviving bridges is due to deliberate replacement, neglect, and the high cost of restoration.

Surviving covered bridges often attract touristic attention due to their rarity, quaint appearance, and bucolic settings. Many are considered historic and have been the subject of historic preservation campaigns.